Farmer

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

sofort lieferbar!

80,24 €

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 €

eBook. PDF

eBook

2., Second Edition 2025. 2025

319 S. XXIX, 319 p. 11 illus., 5 illus. in color..

In englischer Sprache

Springer Nature Switzerland. ISBN 978-3-031-85352-4

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Autorinnen/Autoren

  • Rezensionen

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

      • nach oben

        Ihre Daten werden geladen ...