Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church.
Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the...
Saved in:
| Superior document: | Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2016] ©1991 |
| Year of Publication: | 2016 |
| Language: | English |
| Series: | Princeton Mathematical Series ;
13 |
| Online Access: | |
| Physical Description: | 1 online resource (392 p.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Frontmatter
- Preface
- Contents
- Introduction
- I. The Propositional Calculus
- II. The Propositional Calculus (Continued)
- III. Functional Calculi of First Order
- IV. The Pure Functional Calculus of First Order
- V. Functional Calculi of Second Order
- Index of Definitions
- Index of Authors
- Errata