Conte aos seus amigos sobre este item:
History and Philosophy of Constructive Type Theory - Synthese Library Giovanni Sommaruga 2000 edition
Preço
R$ 846,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 1 - 7 de out
Receba avisos sobre novos lançamentos de Giovanni Sommaruga
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
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
![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)
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2026-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-hardcover-book&class=scaled&v=1786374320)
![Cover for Handbuch Organisationssoziologie (Hardcover Book) [1. Aufl. 2021 edition] (2026)](https://imusic.b-cdn.net/images/item/original/191/9783658159191.jpg?2026-handbuch-organisationssoziologie-hardcover-book&class=scaled&v=1605099239)
