An Introduction to Mathematical Logic and Type Theory
To Truth Through Proof
CHF 150.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-90-481-6079-2
- EAN: 9789048160792
- Produktnummer: 10318195
- Verlag: Springer Netherlands
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 412 S.
- Masse: H23.5 cm x B15.5 cm x D2.2 cm 622 g
- Auflage: 2nd ed. 2002. Softcover reprint of the original 2nd ed. 2002
- Abbildungen: Paperback
- Gewicht: 622
2 weitere Werke von Peter B. Andrews:
An Introduction to Mathematical Logic and Type Theory
To Truth Through Proof
To Truth Through Proof
Ebook (PDF Format)
CHF 100.50
Bewertungen
Anmelden