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...
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
New York, NY :
Springer New York
[20..].
Cham : Springer Nature |
| Edizioa: | 3rd ed. 2010. |
| Saila: | Universitext
|
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
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, 3rd ed., New York, Springer, 2010, 1 vol. (xxi-319 p.), Universitext, 978-1-4419-1220-6 • A Concise Introduction to Mathematical Logic, Texte imprimé, 9781441912466 • A concise introduction to mathematical logic, Wolfgang Rautenberg, 3rd ed., New York, Springer, 2010, 1 vol. (xxi-319 p.), Universitext, 978-1-4419-1220-6 |
Aurkibidea:
- 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