Pastāsti draugiem par šo preci:
History and Philosophy of Constructive Type Theory - Synthese Library Giovanni Sommaruga Softcover reprint of hardcover 1st ed. 2000 edition
Cena
€ 152,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 10. - 18. sept.
Saņemiet paziņojumus par jauniem Giovanni Sommaruga izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
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
Vairāk no Giovanni Sommaruga
Rādīt visu![Cover for Giovanni Sommaruga · Foundational Theories of Classical and Constructive Mathematics - The Western Ontario Series in Philosophy of Science (Paperback Book) [2011 edition] (2013)](https://imusic.b-cdn.net/images/item/original/613/9789400735613.jpg?giovanni-sommaruga-2013-foundational-theories-of-classical-and-constructive-mathematics-the-western-ontario-series-in-philosophy-of-science-paperback-book&class=scaled&v=1595882422)
Vairāk no tā paša izdevēja
![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)
Skatīt visus Giovanni Sommaruga ( piem., Hardcover Book un Paperback Book )