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

$100.00

Hardcover

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:

Ebook


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

Share:

Also of Interest