William M. Farmer: Simple Type Theory, Gebunden

William M. Farmer

Simple Type Theory

Buch

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

lieferbar innerhalb 2-3 Wochen
(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.