ISBN: 9781402007637 - an introduction to mathematical logic and type theory: to truth through proof (applied logic series, 27, band 27) (6 Ergebnisse)
- Hardcover
Anbieter: Antiquariat Bernhardt, Kassel, DeutschlandAntiquariat Bernhardt
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 78,00
EUR 49,90 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Gut. 2nd ed. XVIII, 390 Seiten, Applied Logic Series, Band 27. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Einband leicht verschmutzt, Frontschnitt mit Flecken. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 730 gebundene Ausgabe gebundene Ausgabe.…
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 159,23
EUR 13,50 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 155,97
EUR 35,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 221,22
EUR 9,44 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New. An introduction to mathematical logic that starts with propositional calculus and first-order logic. It is of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification. Series: Applied Logic Series. Num Pages: 390 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 160 x 28. Weight in Grams: 772. . 2002. 2nd ed. 2002. Hardback. . . . . Books ship from the US and Ireland.…
- Hardcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 229,90
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: gut. 2002. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, Band 27) In englischer Sprache. pages.
Verlag: Kluwer Academic Publishers, Dordrecht, The Netherlands, 2002
- Hardcover
Anbieter: Attic Books (ABAC, ILAB), London, ON, KanadaAttic Books (ABAC, ILAB)
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 92,57
EUR 13,48 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Very good. Applied Logic Series 27. xviii, 389 p. 24 cm. B&w figures. Some light soiling to exterior.
