Home Mathematics IV. The Pure Functional Calculus of First Order
Chapter
Licensed
Unlicensed Requires Authentication

IV. The Pure Functional Calculus of First Order

  • Alonzo Church
View more publications by Princeton University Press
To Publisher Page
Introduction to Mathematical Logic
This chapter is in the book Introduction to Mathematical Logic
© 2016 Princeton University Press, Princeton

© 2016 Princeton University Press, Princeton

Chapters in this book

  1. Frontmatter i
  2. Preface v
  3. Contents vii
  4. Introduction 1
  5. I. The Propositional Calculus 69
  6. II. The Propositional Calculus (Continued) 119
  7. III. Functional Calculi of First Order 168
  8. IV. The Pure Functional Calculus of First Order 218
  9. V. Functional Calculi of Second Order 295
  10. Index of Definitions 357
  11. Index of Authors 373
  12. Errata 377
https://doi.org/10.1515/9781400881451-006

Chapters in this book

  1. Frontmatter i
  2. Preface v
  3. Contents vii
  4. Introduction 1
  5. I. The Propositional Calculus 69
  6. II. The Propositional Calculus (Continued) 119
  7. III. Functional Calculi of First Order 168
  8. IV. The Pure Functional Calculus of First Order 218
  9. V. Functional Calculi of Second Order 295
  10. Index of Definitions 357
  11. Index of Authors 373
  12. Errata 377
Sign up now to receive a 20% welcome discount
Institutional Access
How does access work?
Have an idea on how to improve our website?
Please write us.
© 2026 De Gruyter Brill
Downloaded on 2.2.2026 from https://www.degruyterbrill.com/document/doi/10.1515/9781400881451-006/html
Scroll to top button