Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
2., Second Edition 2025
Birkhäuser Verlag GmbH
ISBN 978-3-031-85351-7
Standardpreis
Bibliografische Daten
Fachbuch
Buch. Hardcover
2., Second Edition 2025. 2025
6 s/w-Abbildungen, 5 Farbabbildungen.
In englischer Sprache
Umfang: xxix, 319 S.
Format (B x L): 15,5 x 23,5 cm
Verlag: Birkhäuser Verlag GmbH
ISBN: 978-3-031-85351-7
Produktbeschreibung
Autorinnen und Autoren
Kundeninformationen
First book of its kind on Simple Type Theory Provides tools for building mathematics libraries Provides a practical logic
Produktsicherheit
Hersteller
De Gruyter GmbH
Genthiner Straße 13
10785 Berlin, DE
productsafety@degruyterbrill.com