Journals Higher Education

£72.00

Hardback

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:

Also of Interest