Synopses & Reviews
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