Tell your friends about this item:
History and Philosophy of Constructive Type Theory - Synthese Library Giovanni Sommaruga 2000 edition
Price
$ 158.99
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jun 2 - 8
Our customers say:
Add to your iMusic wish list
Also available as:
History and Philosophy of Constructive Type Theory - Synthese Library
Giovanni Sommaruga
A comprehensive survey of Martin-Loef's constructive type theory, considerable parts of which have only been presented by Martin-Loef in lecture form or as part of conference talks. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material.
367 pages, biography
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | July 31, 2000 |
| ISBN13 | 9780792361800 |
| Publishers | Springer |
| Pages | 367 |
| Dimensions | 165 × 240 × 28 mm · 734 g |
| Language | English |
More by Giovanni Sommaruga
Show all![Cover for Giovanni Sommaruga · Turing's Revolution: The Impact of His Ideas about Computability (Hardcover Book) [1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/557/9783319221557.jpg?giovanni-sommaruga-2016-turing-s-revolution-the-impact-of-his-ideas-about-computability-hardcover-book&class=scaled&v=1608581429)
![Cover for Giovanni Sommaruga · Foundational Theories of Classical and Constructive Mathematics - The Western Ontario Series in Philosophy of Science (Hardcover Book) [2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/305/9789400704305.jpg?giovanni-sommaruga-2011-foundational-theories-of-classical-and-constructive-mathematics-the-western-ontario-series-in-philosophy-of-science-hardcover-book&class=scaled&v=1608707330)
See all of Giovanni Sommaruga ( e.g. Paperback Book and Hardcover Book )