Freunden von diesem Artikel berichten:
Simple Type Theory William M. Farmer 2023 edition
Hast du ein Profil? Anmelden
Benachrichtigungen über neue Veröffentlichungen von William M. Farmer erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder
Simple Type Theory
William M. Farmer
295 pages, 3 Illustrations, color; 7 Illustrations, black and white; XIV, 295 p. 10 illus., 3 illus.
| Medien | Bücher Buch |
| Erscheinungsdatum | 3. Januar 2024 |
| ISBN13 | 9783031211140 |
| Verlag | Birkhauser Verlag AG |
| Seitenanzahl | 295 |
| Maße | 234 × 156 × 20 mm · 488 g |
| Sprache | Deutsch |
![Cover for William M. Farmer · Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic (Gebundenes Buch) [Second Edition 2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/517/9783031853517.jpg?william-m-farmer-2025-simple-type-theory-a-practical-logic-for-expressing-and-reasoning-about-mathematical-ideas-computer-science-foundations-and-applied-logic-gebundenes-buch&class=scaled&v=1750165334)
![Cover for Bruno Cordani · Geography of Order and Chaos in Mechanics: Investigations of Quasi-Integrable Systems with Analytical, Numerical, and Graphical Tools - Progress in Mathematical Physics (Taschenbuch) [Second Edition 2024 edition] (2025)](https://imusic.b-cdn.net/images/item/original/288/9783031722288.jpg?bruno-cordani-2025-geography-of-order-and-chaos-in-mechanics-investigations-of-quasi-integrable-systems-with-analytical-numerical-and-graphical-tools-progress-in-mathematical-physics-taschenbuch&class=scaled&v=1778576305)
![Cover for Jurgen Jost · Bernhard Riemann — On the Hypotheses Which Lie at the Bases of Geometry - Classic Texts in the Sciences (Gebundenes Buch) [Second Edition 2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/881/9783031914881.jpg?jurgen-jost-2025-bernhard-riemann-on-the-hypotheses-which-lie-at-the-bases-of-geometry-classic-texts-in-the-sciences-gebundenes-buch&class=scaled&v=1760682158)
![Cover for Stephen Lynch · Dynamical Systems with Applications Using MATLAB® (Gebundenes Buch) [Third Edition 2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/666/9783031890666.jpg?stephen-lynch-2025-dynamical-systems-with-applications-using-matlab-gebundenes-buch&class=scaled&v=1750006615)