A Concise Introduction to Mathematical Logic
Traditional logic as a part of philosophy is one of the oldest scientific disciplines and can be traced back to the Stoics and to Aristotle. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, and others to create a logistic foundation for math...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
New York, NY :
Springer New York,
2010.
|
| Edition: | 3. |
| Series: | Universitext
|
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Table of Contents:
- Propositional Logic
- First-Order Logic
- Complete logical Calculi
- Foundations of Logic Programming
- Elements of Model Theory
- Incompleteness and Undecidability
- On the Theory of Self-Reference.
