Robinson Alan Voronkov Andrei (17 results)

Author: 
Refine with Advanced Search

Refine your search

  • Books (17)

to

Custom price range (£)

to

  • Language: English

    Published by North Holland, 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red

    5-star seller
    Contact seller

    Condition: Used - Good

    £ 39.15

    £ 2.83 shipping 
    Ships within U.S.A.

    Quantity: 1 available

    hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

  • Language: English

    Published by Elsevier, 2001

    0262182211 / 9780262182218

    • Hardcover

    Seller: Anybook.com, Lincoln, United KingdomAnybook.com

    5-star seller
    Contact seller

    Condition: Used - Good

    £ 29.99

    £ 17.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Condition: Good. Volume 1. 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,2050grams, ISBN:9780262182218. …

  • Language: English

    Published by Elsevier Science & Technology, 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd

    5-star seller
    Contact seller

    Condition: Used - Very good

    £ 44.42

    £ 5.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

  • Language: English

    Published by North Holland, 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International

    5-star seller
    Contact seller

    Condition: New

    £ 80.20

     Free Shipping 
    Ships within U.S.A.

    Quantity: 1 available

    Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

  • Language: English

    Published by North Holland, 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: New

    £ 238.96

    £ 1.99 shipping 
    Ships within U.S.A.

    Quantity: Over 20 available

    Condition: New.

  • Language: English

    Published by North Holland, 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

    5-star seller
    Contact seller

    Condition: New

    £ 223.80

    £ 15.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New.

  • Language: English

    Published by North Holland, 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

    5-star seller
    Contact seller

    Condition: New

    £ 228.53

    £ 19.02 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New. In English.

  • Language: English

    Published by Elsevier Science, 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: moluna, Greven, Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    £ 229.14

    £ 41.63 shipping 
    Ships from Germany to U.S.A.

    Quantity: Over 20 available

    Gebunden. Condition: New. Part V. Higher-order logic and logical frameworks.Chapter 15. Classical Type Theory (Peter B. Andrews).1. Introduction to type theory. 2. Metatheoretical foundations. 3. Proof search. 4. Conclusion. Bi.

  • Language: English

    Published by ELSEVIER SCIENCE & TECHNOLOGY, 2001

    0444829490 / 9780444829498

    • Hardcover

    Seller: Buchpark, Trebbin, GermanyBuchpark

    5-star seller
    Contact seller

    Condition: Used - Fine

    £ 189.72

    £ 89.23 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Condition: Sehr gut. Zustand: Sehr gut | Seiten: 996 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

  • Language: English

    Published by North Holland, 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

    5-star seller
    Contact seller

    Condition: Used - As new

    £ 277.99

    £ 15.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: As New. Unread book in perfect condition.

  • Language: English

    Published by North Holland, 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: Mispah books, Redhill, SURRE, United KingdomMispah books

    4-star seller
    Contact seller

    Condition: Used - As new

    £ 270.00

    £ 25.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Language: English

    Published by North Holland, 2001

    0444508120 / 9780444508126

    • Hardcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: Used - As new

    £ 310.13

    £ 1.99 shipping 
    Ships within U.S.A.

    Quantity: Over 20 available

    Condition: As New. Unread book in perfect condition.

  • Language: English

    Published by ELSEVIER SCIENCE & TECHNOLOGY, 2001

    0444829490 / 9780444829498

    • Hardcover

    Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermanyBUCHSERVICE / ANTIQUARIAT Lars Lutzer

    5-star seller
    Contact seller

    Condition: Used - Very good

    £ 568.89

    £ 33.95 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Hardcover. Condition: gut. 2001. Handbook of Automated Reasoning In englischer Sprache. pages.

  • Language: English

    Published by North Holland, 2001

    0444829490 / 9780444829498

    • Hardcover

    Seller: GoldBooks, Denver, CO, U.S.A.GoldBooks

    5-star seller
    Contact seller

    Condition: New

    £ 1,406.61

    £ 4.15 shipping 
    Ships within U.S.A.

    Quantity: 1 available

    Hardcover. Condition: new. New Copy. Customer Service Guaranteed.

  • Language: English

    Published by North Holland, 2001

    0444508139 / 9780444508133

    • Hardcover

    Seller: Mispah books, Redhill, SURRE, United KingdomMispah books

    4-star seller
    Contact seller

    Condition: Used - As new

    £ 757.00

    £ 25.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Language: English

    Published by Elsevier Science, 2001

    0444508120 / 9780444508126

    • Softcover
    • Print on Demand

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

    5-star seller
    Contact seller

    Condition: New

    £ 214.46

    £ 19.55 shipping 
    Ships 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 -This second volume of 'Handbook of Automated Reasoning' covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics. Englisch.…

  • Language: English

    Published by Elsevier BV, 2001

    0444508120 / 9780444508126

    • Hardcover
    • Print on Demand

    Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

    5-star seller
    Contact seller

    Condition: New

    £ 238.38

    £ 42.05 shipping 
    Ships from Germany to U.S.A.

    Quantity: 2 available

    Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.…