Vertel uw vrienden over dit artikel:
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic William M. Farmer 2023 edition
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.
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 3 januari 2024 |
| ISBN13 | 9783031211140 |
| Uitgevers | Birkhauser Verlag AG |
| Pagina's | 295 |
| Afmetingen | 234 × 156 × 20 mm · 488 g |
| Taal en grammatica | Duits |
Bekijk alles van William M. Farmer ( bijv. Hardcover Book en Paperback Book )
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld