William M. Farmer: Simple Type Theory, Gebunden
Simple Type Theory
Buch
- A Practical Logic for Expressing and Reasoning About Mathematical Ideas
deliverable within 2-3 weeks (if available from supplier)
Current price: EUR 79.99
Shipping
(United States of America): EUR 19.90
- Publisher:
- Birkhäuser, 04/2025
- Binding:
- Gebunden
- Language:
- Englisch
- ISBN-13:
- 9783031853517
- Item number:
- 12281281
- Volume:
- 352 Pages
- Edition number:
- 25002
- Ausgabe:
- Second Edition 2025
- Weight:
- 692 g
- Format:
- 241 x 160 mm
- Thickness:
- 25 mm
- Release date:
- 24.4.2025
- Series:
- Computer Science Foundations and Applied Logic
- Note
-
Caution: Product is not in German language
Other releases of Simple Type Theory |
Price |
|---|
Blurb
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
Current price: EUR 79.99
