Pastāsti draugiem par šo preci:
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic William M. Farmer Second Edition 2025 edition
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem William M. Farmer izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic
William M. Farmer
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2025. gada 24. aprīlis |
| ISBN13 | 9783031853517 |
| Izdevēji | Birkhauser Verlag AG |
| Lapas | 319 |
| Izmēri | 161 × 244 × 26 mm · 646 g |
| Valoda | Vācu |
Vairāk no tā paša izdevēja
![Cover for Sorin G. Gal · Choquet Integral and Monotone Sublinear Operators - Frontiers in Mathematics (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/000/9783031717000.jpg?sorin-g-gal-2026-choquet-integral-and-monotone-sublinear-operators-frontiers-in-mathematics-paperback-book&class=scaled&v=1773458411)
![Cover for Gisbert Stoyan · Elementary Numerical Mathematics for Programmers and Engineers - Compact Textbooks in Mathematics (Paperback Book) [Second Edition 2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/887/9783031660887.jpg?gisbert-stoyan-2024-elementary-numerical-mathematics-for-programmers-and-engineers-compact-textbooks-in-mathematics-paperback-book&class=scaled&v=1722723566)
![Cover for David Waszek-Maria Zack · Research in History and Philosophy of Mathematics: The CSHPM 2022 Volume - Annals of the Canadian Society for History and Philosophy of Mathematics/ Societe canadienne d’histoire et de philosophie des mathematiques (Hardcover Book) [2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/927/9783031461927.jpg?david-waszek-maria-zack-2024-research-in-history-and-philosophy-of-mathematics-the-cshpm-2022-volume-annals-of-the-canadian-society-for-history-and-philosophy-of-mathematics-societe-canadienne-d-histoire-et-de-philosophie-des-mathematiques-hardcover-book&class=scaled&v=1750187179)
![Cover for Tianxin Cai · A Brief History of Mathematics: A Promenade through the Civilizations of Our World (Hardcover Book) [2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/403/9783031268403.jpg?tianxin-cai-2023-a-brief-history-of-mathematics-a-promenade-through-the-civilizations-of-our-world-hardcover-book&class=scaled&v=1691524752)
![Cover for Willy Dorfler · Wave Phenomena: Mathematical Analysis and Numerical Approximation - Oberwolfach Seminars (Paperback Book) [1st ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/922/9783031057922.jpg?willy-dorfler-2023-wave-phenomena-mathematical-analysis-and-numerical-approximation-oberwolfach-seminars-paperback-book&class=scaled&v=1669974382)
![Cover for Eli E. Goldwyn · Mathematics Research for the Beginning Student, Volume 1: Accessible Projects for Students Before Calculus - Foundations for Undergraduate Research in Mathematics (Hardcover Book) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/598/9783031085598.jpg?eli-e-goldwyn-2022-mathematics-research-for-the-beginning-student-volume-1-accessible-projects-for-students-before-calculus-foundations-for-undergraduate-research-in-mathematics-hardcover-book&class=scaled&v=1657299866)
Skatīt visus William M. Farmer ( piem., Hardcover Book un Paperback Book )