Introduction to Mathematical Logic
This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic becau...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1973, 1973
|
| Edition: | 1st ed. 1973 |
| Series: | Universitext
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- I. Introduction
- II. The Language of Predicate Logic
- III. The Semantics of Predicate Logic
- IV. A Predicate Calculus
- V. Gödel’s Completeness Theorem
- VI. Peano’s Axiom System
- VII. Extensions of the Language, Normal Forms
- VIII. The Theorems of A. Robinson, Craig and Beth
- IX. Miscellaneous
- Further Reading
- Index of Abbreviations for Defining and Derived Rules
- Notation
- Name and Subject Index