Elements of Mathematical Logic

(Model Theory)

Edited by
  • G. Kreisel - Stanford University
  • J.L. Krivine - Université de Paris
Volume 48,

Pages iii-vii, 1-222 (1967)

Actions for selected chapters

/

  1. Edited by

    Page iii
    View PDF
  2. Copyright page

    Page v
  3. Preface

    Pages v-vii
  4. Chapter 0 Preliminaries

    Pages 1-3
  5. Chapter 1 Propositional Calculus

    Pages 4-14
  6. Chapter 2 Predicate Calculus

    Pages 15-33
  7. Chapter 3 Predicate Calculus with Equality

    Pages 34-48
  8. Chapter 4 The Elimination of Quantifiers

    Pages 49-79
  9. Chapter 5 Predicate Calculus with Several Types of Objects: The Hierarchy of Finite Types

    Pages 80-114
  10. Chapter 6 Definability

    Pages 115-135
  11. Chapter 7 Principal Models: Models of Infinite Formulas

    Pages 136-153
  12. Appendix I The Axiomatic Method

    Pages 154-159
  13. Appendix II Foundations of Mathematics

    Pages 160-164
  14. Part A Set Theoretic Semantic Foundations

    Pages 165-194
  15. Part B Combinatorial Foundations

    Pages 195-221
  16. Part C Semantic Versus Syntactic (Combinatorial) Introduction to Mathematical Logic

    Page 222

ISBN: 978-0-444-53412-5

ISSN: 0049-237X