Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides)

by: Giovanni Sambin · Jan Smith Hardcover details (UK). (see also: eBook (Kindle)) details (USA). (see also: eBook (Kindle)) details (Germany). (see also: Kindle Ausgabe) details (Canada). (see also: eBook (Kindle)) ISBN: 978-0-19-850127-5 ISBN-10: 0-19-850127-7 OUP Oxford · 1998