William M. Farmer: Simple Type Theory, Gebunden
Simple Type Theory
Buch
- A Practical Logic for Expressing and Reasoning About Mathematical Ideas
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 79,99
Versandkosten
(United States of America): EUR 19,90
- Verlag:
- Birkhäuser, 04/2025
- Einband:
- Gebunden
- Sprache:
- Englisch
- ISBN-13:
- 9783031853517
- Artikelnummer:
- 12281281
- Umfang:
- 352 Seiten
- Nummer der Auflage:
- 25002
- Ausgabe:
- Second Edition 2025
- Gewicht:
- 692 g
- Maße:
- 241 x 160 mm
- Stärke:
- 25 mm
- Erscheinungstermin:
- 24.4.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Simple Type Theory |
Preis |
|---|
Klappentext
Chapter 1 Introduction.- Chapter 2 Answers to Readers' Questions.- Chapter 3 Preliminary Concepts.- Chapter 4 Syntax.- Chapter 5 Semantics.- Chapter 6 Additional Notation.- Chapter 7 Beta-reduction and Substitution.- Chapter 8 Proof Systems.- Chapter 9 Theories.- Chapter 10 Inductive Sets and Types.- Chapter 11 Sequences.- Chapter 12 Developments.- Chapter 13 Real Number Mathematics.- Chapter 14 Morphisms.- Chapter 15 Alonzo Variants.- Chapter 16 Software Support.
William M. Farmer
Simple Type Theory
Aktueller Preis: EUR 79,99