Farmer

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


80,24 €

sofort lieferbar!

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

auch verfügbar als Buch (Hardcover) für 80,24 €

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

auch verfügbar als Buch (Hardcover) für 80,24 €

Autorinnen und Autoren

Produktsicherheit

Hersteller

Springer-Verlag GmbH

Tiergartenstr. 17
69121 Heidelberg, DE

ProductSafety@springernature.com

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Rezensionen

Dieses Set enthält folgende Produkte:
    Auch in folgendem Set erhältlich:

    • nach oben

      Ihre Daten werden geladen ...