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:
Electronic Access:
https://doi.org/10.1007/978-3-031-21112-6Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 520259-1001 | XX(520259.1) | Searching... | Searching... |