Items related to Simple Type Theory: A Practical Logic for Expressing...
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Softcover
Synopsis
Preface.- 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.- Appendix A: Metatheorems of µ.- Appendix B: Soundness of µ.- Appendix C: Henkin's Theorem for µ.- Bibliography.- List of Figures.- List of Tables.- List of Theorems, Examples, Remarks, and Modules.- Index
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Simple Type Theory: A Practical Logic for Expressing...
Stock Image
Simple Type Theory
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783031211133
Quantity: Over 20 available
Stock Image
Simple Type Theory
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783031211133
Quantity: Over 20 available
Stock Image
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783031211133_new
Quantity: Over 20 available
Stock Image
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783031211133
Quantity: 10 available