Journals Higher Education

$93.00

Hardcover

10 December 1998

296 Pages

ISBN: 9780198501275


Also Available As:

Ebook


Bookseller Code (06)

Cover

Twenty-Five Years of Constructive Type Theory

Proceedings of a Congress held in Venice, October 1995

Giovanni Sambin and Jan M. Smith

Oxford Logic Guides

Share: