Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
New York, NY :
Springer New York : Imprint: Springer,
2006.
|
| Edición: | 2nd ed. 2006. |
| Colección: | Universitext,
|
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.