Journals Higher Education

£56.00

Hardback

This item is printed to order. Items which are printed to order are normally despatched and charged within 5-10 days.

Published: 15 October 1998

292 Pages

234x156mm

ISBN: 9780198501275


Also Available As:

Ebook


Bookseller Code (AQ)

Twenty Five Years of Constructive Type Theory

Giovanni Sambin and Jan M. Smith

Clarendon Press

Oxford Logic Guides

  • Important paper by Martin-Löf published for the first time
  • Unique record of last twenty-five years of the subject
Share: