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

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