Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
2., Second Edition 2025
Springer Nature Switzerland
ISBN 978-3-031-85352-4
Standardpreis
Bibliografische Daten
eBook. PDF
2., Second Edition 2025. 2025
XXIX, 319 p. 11 illus., 5 illus. in color..
In englischer Sprache
Umfang: 319 S.
Verlag: Springer Nature Switzerland
ISBN: 978-3-031-85352-4
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Computer Science Foundations and Applied Logic
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg, DE
ProductSafety@springernature.com