Home Mathematics I. The Propositional Calculus
Chapter
Licensed
Unlicensed Requires Authentication

I. The Propositional Calculus

  • 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-003

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.
© 2025 De Gruyter Brill
Downloaded on 22.10.2025 from https://www.degruyterbrill.com/document/doi/10.1515/9781400881451-003/html?lang=en
Scroll to top button