Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
by
Farmer, William M. author.
Title
:
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author
:
Farmer, William M. author.
ISBN
:
9783031211126
Edition
:
1st ed. 2023.
Physical Description
:
XIV, 295 p. 10 illus., 3 illus. in color. online resource.
Series
:
Computer Science Foundations and Applied Logic,
Contents
:
1 Introduction -- 2 Answers to Readers' Questions -- 3 Preliminary Concepts -- 4 Syntax -- 5 Semantics -- 6 Additional Notation -- 7 Beta-reduction and Substitution -- 8 Proof Systems -- 9 Theories -- 10 Sequences -- 11 Developments -- 12 Real Number Mathematics -- 13 Morphisms 14 Alonzo Variants -- 15 Software Support.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 520259-1001 | ONLINE | | Elektronik Kütüphane |