76,40 €*
-16 % UVP 90,94 €
Versandkostenfrei per Post / DHL
Lieferzeit 2-4 Werktage
Carlo Cellucci is emeritus professor of logic at Sapienza University of Rome. He is the author of eight books: Teoria della dimostrazione (Boringhieri, 1978); Le ragioni della logica (Laterza, 1998); Filosofia e matematica (Laterza, 2003); Perché ancora la filosofia (Laterza, 2008); Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method (Springer, 2013); Breve storia della logica: Dall'Umanesimo al primo Rinascimento (with Mirella Capozzi, Lulu Press, 2014); Rethinking Knowledge: The Heuristic View (Springer, 2017); The Making of Mathematics: Heuristic Philosophy of Mathematics (Springer, 2022).
First-Order Logic.- Completeness.- First-Order Theories.- Primitive Recursive Arithmetic.- Encoding.- Incompleteness.- Other Limitative Results.- Second-Order Logic.- Second-Order Arithmetic.- Appendix.
| Erscheinungsjahr: | 2023 |
|---|---|
| Fachbereich: | Allgemeines |
| Genre: | Geisteswissenschaften, Kunst, Musik, Philosophie |
| Jahrhundert: | Antike |
| Rubrik: | Geisteswissenschaften |
| Thema: | Lexika |
| Medium: | Taschenbuch |
| Inhalt: |
ix
159 S. |
| ISBN-13: | 9783031134197 |
| ISBN-10: | 3031134192 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: | Cellucci, Carlo |
| Auflage: | 1st edition 2022 |
| Hersteller: |
Springer Nature Switzerland
Springer International Publishing |
| Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
| Maße: | 235 x 155 x 10 mm |
| Von/Mit: | Carlo Cellucci |
| Erscheinungsdatum: | 22.11.2023 |
| Gewicht: | 0,271 kg |
Carlo Cellucci is emeritus professor of logic at Sapienza University of Rome. He is the author of eight books: Teoria della dimostrazione (Boringhieri, 1978); Le ragioni della logica (Laterza, 1998); Filosofia e matematica (Laterza, 2003); Perché ancora la filosofia (Laterza, 2008); Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method (Springer, 2013); Breve storia della logica: Dall'Umanesimo al primo Rinascimento (with Mirella Capozzi, Lulu Press, 2014); Rethinking Knowledge: The Heuristic View (Springer, 2017); The Making of Mathematics: Heuristic Philosophy of Mathematics (Springer, 2022).
First-Order Logic.- Completeness.- First-Order Theories.- Primitive Recursive Arithmetic.- Encoding.- Incompleteness.- Other Limitative Results.- Second-Order Logic.- Second-Order Arithmetic.- Appendix.
| Erscheinungsjahr: | 2023 |
|---|---|
| Fachbereich: | Allgemeines |
| Genre: | Geisteswissenschaften, Kunst, Musik, Philosophie |
| Jahrhundert: | Antike |
| Rubrik: | Geisteswissenschaften |
| Thema: | Lexika |
| Medium: | Taschenbuch |
| Inhalt: |
ix
159 S. |
| ISBN-13: | 9783031134197 |
| ISBN-10: | 3031134192 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: | Cellucci, Carlo |
| Auflage: | 1st edition 2022 |
| Hersteller: |
Springer Nature Switzerland
Springer International Publishing |
| Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
| Maße: | 235 x 155 x 10 mm |
| Von/Mit: | Carlo Cellucci |
| Erscheinungsdatum: | 22.11.2023 |
| Gewicht: | 0,271 kg |
Ähnliche Produkte
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Aktuell nicht verfügbar
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Werktage