Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
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:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 520259-1001 XX(520259.1)
Searching...

On Order