
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 2023 edition
William M. Farmer
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic 2023 edition
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 )