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

Farmer, William M

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

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Birkhauser
Date d'édition
2023
Langue
anglais
ISBN 10 
3031211138
ISBN 13 
9783031211133
Reliure
Broché
Nombre de pages
312
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  3031211111 ISBN 13 :  9783031211119
Editeur : Birkhauser Verlag AG, 2023
Couverture rigide