An Introduction to Mathematical Logic and Type Theory | To Truth Through Proof
Ø 0.0
0 Bewertungen
121,95 €
Titel: An Introduction to Mathematical Logic and Type Theory | Zusatz: To Truth Through Proof | Medium: Buch | Autor: Peter B. Andrews | Einband: Gebunden | Inhalt: xviii / 390 S. | Auflage: Second Edition 2002 | Sprache: Englisch | Seiten: 412 | Maße: 246 x 165 x 28 mm | Erschienen: 31.07.2002 | Anbieter: Anja's.
Jetzt bei Ebay:
-
Buchtitel:An Introduction to Mathematical Logic and Type Theory
-
Autor:Peter B. Andrews
-
Sprache:Englisch
-
Erscheinungsjahr:2002
-
Anzahl der Seiten:412
-
Marke:Springer Netherland, Springer Netherlands
-
Hersteller:Springer Netherland, Springer Netherlands
-
Verlag:Springer Netherland, Springer Netherlands
-
Format:Gebundene Ausgabe
-
Genre:Importe
-
Ausgabe:Second Edition 2002
-
Titelzusatz:To Truth Through Proof
-
Schlagworte:Mathematik, Grundlagen, Mathematik: Logik, Intelligenz, Künstlich
-
Herstellungsland und -region:Deutschland
-
ISBN:1402007639
-
Standardversand:Deutsche Post Brief kostenlos - Lieferung zwischen 03. June 2025 und 05. June 2025 (bei heutigem Zahlungseingang)
-
Standardversand:DHL Paket 2,00 EUR - Lieferung zwischen 27. May 2025 und 03. June 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere