A Concise Introduction to Mathematical Logic
Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY
Springer New York
2006, 2006
|
| Edition: | 2nd ed. 2006 |
| Series: | Universitext
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Propositional Logic
- Predicate Logic
- Gödel’s Completeness Theorem
- The Foundations of Logic Programming
- Elements of Model Theory
- Incompleteness and Undecidability
- On the Theory of Self-Reference