Isbn: 9781402007637 - an introduction to mathematical logic and type theory: to truth through proof: 27 (19 risultati)

Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Hardcover. Condizione: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:9781402007637. …

Condizione: 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. Condizione: New. In shrink wrap. Looks like an interesting title.

Condizione: New. In English.

Condizione: 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. . . . .…

Condizione: New. pp. 412 2nd Edition.

Condizione: 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.…

Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering.

Hardcover. Condizione: Like New. Like New. book.

Condizione: gut. 2002. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, Band 27) In englischer Sprache. pages.

Hardcover. Condizione: Very good. Applied Logic Series 27. xviii, 389 p. 24 cm. B&w figures. Some light soiling to exterior.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 412 pp. Englisch.

Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understandThe discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important i.…

Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Condizione: New. Print on Demand pp. 412 Illus.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 412 pp. Englisch.

Condizione: New. PRINT ON DEMAND pp. 412.