Abbildung von Farmer | Simple Type Theory | 2. Auflage | 2025 | beck-shop.de

Farmer

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

Zur Nachauflage
Zur Vorauflage

Standardpreis

80,24 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

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

auch verfügbar als eBook (PDF) für 80,24 €

Bibliografische Daten

Fachbuch

Buch. Hardcover

2., Second Edition 2025. 2025

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

Weiterführende bibliografische Daten

Das Werk ist Teil der Reihe: Computer Science Foundations and Applied Logic

auch verfügbar als eBook (PDF) für 80,24 €

Autorinnen und Autoren

Produktsicherheit

Hersteller

Springer Nature Customer Service Center GmbH

Europaplatz 3
69115 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:

      • Grafik Warenkorb In den Warenkorb Grafik 4-Wochen-Test für beck-online 4-Wochen-Test bestellen

      Grafik MerklisteAuf die Merkliste Nachricht, wenn verfügbar

      Produktempfehlungen personalisieren

      Ihre Vorteile:

      • Empfehlungen basierend auf ihren Interessen
      • Zeitersparnis durch passende Vorschläge

      Mehr informationen zu , , und

      Die ersten personalisierten Empfehlungen erhalten Sie nach zwei bis drei Klicks.

      Sie können diese Zustimmung zu einem späteren Zeitpunkt unproblematisch über die Datenschutz-Einstellungen wieder zurückziehen.

      nach oben
      X

      Das Passwort muss mind. 8 Zeichen enthalten.
      (Darin sollte mind. ein Groß- und ein Kleinbuchstabe und mind. eine Ziffer enthalten sein.)

      Schließen

      Ihre Daten werden geladen ...