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...
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
New York, NY :
Springer New York
[20..].
Cham : Springer Nature |
| Edizione: | 2nd ed. |
| Serie: | Universitext
|
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Description d'après consultation du 15 février 2011 Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • A concise introduction to mathematical logic, Wolfgang Rautenberg, 2nd ed., New York, Springer, 2006, 1 vol. (XVII-256 p.), Universitext, 0-387-30294-8 • A Concise Introduction to Mathematical Logic, Texte imprimé, 9780387510873 • A concise introduction to mathematical logic, Wolfgang Rautenberg, 2nd ed., New York, Springer, 2006, 1 vol. (XVII-256 p.), Universitext, 0-387-30294-8 |
Sommario:
- 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