Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Softcover

Farmer, William M

 
9783031211133: Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Softcover
ISBN 10: 3031211138 ISBN 13: 9783031211133
Verlag: Birkhauser, 2023

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Birkhauser
Erscheinungsdatum
2023
Sprache
Englisch
ISBN 10 
3031211138
ISBN 13 
9783031211133
Einband
Taschenbuch
Anzahl der Seiten
312
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9783031211119: Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Vorgestellte Ausgabe

ISBN 10:  3031211111 ISBN 13:  9783031211119
Verlag: Birkhäuser, 2023
Hardcover