Scan barcode
296 pages • missing pub info (editions)
ISBN/UID: 9780198501275
Format: Hardcover
Language: English
Publisher: Clarendon Press
Publication date: 10 December 1998
Description
Per Martin-L�f's work on the development of constructive type theory has had a tremendous impact on the fields of logic and the foundations of mathematics. It also has broader philosophical significance and important applications in areas such as ...
Community Reviews
Content Warnings
296 pages • missing pub info (editions)
ISBN/UID: 9780198501275
Format: Hardcover
Language: English
Publisher: Clarendon Press
Publication date: 10 December 1998
Description
Per Martin-L�f's work on the development of constructive type theory has had a tremendous impact on the fields of logic and the foundations of mathematics. It also has broader philosophical significance and important applications in areas such as ...
Community Reviews
Content Warnings