
Conte aos seus amigos sobre este item:
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.
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 3 de janeiro de 2024 |
ISBN13 | 9783031211140 |
Editoras | Birkhauser Verlag AG |
Páginas | 295 |
Dimensões | 234 × 156 × 20 mm · 488 g |
Idioma | German |
Ver tudo de William M. Farmer ( por exemplo Hardcover Book e Paperback Book )