Home Mathematics V. Functional Calculi of Second Order
Chapter
Licensed
Unlicensed Requires Authentication

V. Functional Calculi of Second 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-007

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 3.2.2026 from https://www.degruyterbrill.com/document/doi/10.1515/9781400881451-007/html?lang=en
Scroll to top button