Introduction Mathematical Logic Type by Andrews Peter (33 results)

- Softcover
Seller: Grey Matter Books, Hadley, MA, U.S.A.Grey Matter Books
Contact seller4-star sellerAssociation member: SNEAB
Condition: Used - Fine
£ 26.91
£ 4.11 shippingShips within U.S.A.Quantity: 1 available
Soft cover. Condition: Fine. Crisp fine copy.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 93.63
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: New.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 97.02
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 86.94
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.

- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 95.38
£ 11.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.

- Hardcover
Seller: Antiquariat Bernhardt, Kassel, GermanyAntiquariat Bernhardt
Contact seller5-star sellerCondition: Used - Very good
£ 67.38
£ 41.85 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: 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.…

- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 96.82
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 95.39
£ 29.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering.

- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 123.05
£ 2.98 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 414.

- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 125.39
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: New.

- Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
£ 122.09
£ 5.19 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 118.59
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2nd edition. 408 pages. 9.25x6.00x1.00 inches. In Stock.

- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 134.11
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.

- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 129.27
£ 11.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.

- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 146.99
£ 7.97 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: 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. . . . .…

- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 134.74
£ 29.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering.

- Hardcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 174.16
£ 2.98 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 412 2nd Edition.

- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 183.76
£ 7.84 shippingShips within U.S.A.Quantity: 15 available
Condition: 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
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermanyBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contact seller5-star sellerCondition: Used - Very good
£ 198.60
£ 33.51 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: gut. 2002. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, Band 27) In englischer Sprache. pages.

Published by Kluwer Academic Publishers, Dordrecht, The Netherlands, 2002
- Hardcover
Seller: Attic Books (ABAC, ILAB), London, ON, CanadaAttic Books (ABAC, ILAB)
Contact seller5-star sellerCondition: Used - Very good
£ 76.90
£ 11.20 shippingShips from Canada to U.S.A.Quantity: 1 available
Hardcover. Condition: Very good. Applied Logic Series 27. xviii, 389 p. 24 cm. B&w figures. Some light soiling to exterior.

- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
£ 67.59
£ 5.70 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.

- Softcover
- Print on Demand
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 84.46
£ 6.49 shippingShips from United Kingdom to U.S.A.Quantity: 20 available
PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 83.18
£ 19.29 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 412 pp. Englisch.

- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 70.35
£ 41.09 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: 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.…

- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 127.74
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 414 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 83.18
£ 50.32 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 412 pp. Englisch.

- Hardcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 120.15
£ 19.29 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 412 pp. Englisch.

- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 132.23
£ 8.35 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 414.

- Hardcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 99.91
£ 41.09 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Gebunden. Condition: 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.…

- Hardcover
- Print on Demand
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
£ 139.62
£ 18.57 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.