An Introduction to Mathematical Logic and Type Theory To Truth Through Proof
Ø 0.0
0 Bewertungen
85,90 €
Titel: An Introduction to Mathematical Logic and Type Theory | Zusatz: To Truth Through Proof | Medium: Taschenbuch | Autor: Peter B. Andrews | Einband: Kartoniert / Broschiert | Inhalt: xviii / 390 S. | Auflage: Second Edition 2002 | Sprache: Englisch | Seiten: 412 | Maße: 235 x 155 x 23 mm | Erschienen: 09.12.2010 | Anbieter: Buchbär.
Jetzt bei Ebay:
-
Buchtitel:An Introduction to Mathematical Logic and Type Theory
-
Autor:Peter B. Andrews
-
Sprache:Englisch
-
Erscheinungsjahr:2010
-
Anzahl der Seiten:412
-
Marke:Springer Netherland, Springer Netherlands
-
Hersteller:Springer Netherland, Springer Netherlands
-
Verlag:Springer Netherland, Springer Netherlands
-
Format:Taschenbuch
-
Genre:Importe
-
Ausgabe:Second Edition 2002
-
Titelzusatz:To Truth Through Proof
-
Schlagworte:Mathematik, Grundlagen, Mathematik: Logik, Computerlinguistik und
-
Herstellungsland und -region:Deutschland
-
ISBN:9048160790
-
Standardversand:DHL Paket kostenlos - Lieferung zwischen 14. May 2025 und 15. May 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