Journals Higher Education
Important OUP's Response to COVID-19 Learn more
Important Distribution center temporarily closed: delays to orders expected Read more



This item is out of stock. It can be ordered now for delivery when back in stock.

Notify Me When In Stock

Published: 10 December 1998

296 Pages

ISBN: 9780198501275

Also Available As:


Bookseller Code (06)

Twenty-Five Years of Constructive Type Theory

Proceedings of a Congress held in Venice, October 1995

Giovanni Sambin and Jan M. Smith

A Clarendon Press Publication

Oxford Logic Guides


Also of Interest