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 2023 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
295 pages, 3 Illustrations, color; 7 Illustrations, black and white; XIV, 295 p. 10 illus., 3 illus.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2024. gada 3. janvāris |
| ISBN13 | 9783031211140 |
| Izdevēji | Birkhauser Verlag AG |
| Lapas | 295 |
| Izmēri | 234 × 156 × 20 mm · 488 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 Colin Adams · Do Androids Dream of Symmetric Sheaves?: And Other Mathematically Bent Stories (Paperback Book) [1st ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/902/9783031314902.jpg?colin-adams-2023-do-androids-dream-of-symmetric-sheaves-and-other-mathematically-bent-stories-paperback-book&class=scaled&v=1689671278)
![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 )