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

Verlängerter Rückgabezeitraum bis 31. Januar 2026

Alle zur Rückgabe berechtigten Produkte, die zwischen dem 1. bis 31. Dezember 2025 gekauft wurden, können bis zum 31. Januar 2026 zurückgegeben werden.

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.