Order Total (1 Item Items):
Shipping Destination:
Computational Complexity Logical Theories (16 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (16)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (9)
- As New, Fine or Near Fine (1)
- Very Good or Good (5)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (16)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (8)
- Not Print on Demand (12)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
The Computational Complexity of Logical Theories Lecture Notes in Mathematics, 718
Language: English
Published by Springer Berlin Heidelberg, 1979
ISBN 10: 3540095012 ISBN 13: 9783540095019
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. 243 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 440.
-
Condition: Good. Volume 718. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:3540095012.
-
The Computational Complexity of Logical Theories (Lecture Notes in Mathematics)
Language: English
Published by Springer Berlin Heidelberg, 1979
ISBN 10: 3540095012 ISBN 13: 9783540095019
Condition: Gut. Auflage: 1979. 256 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 356 22,6 x 15,2 x 1,6 cm, Taschenbuch.
-
The Computational Complexity of Logical Theories
Published by Springer, Berlin, 1979
ISBN 10: 3540095012 ISBN 13: 9783540095019
Seller: Attic Books (ABAC, ILAB), London, ON, Canada
Seller rating 5 out of 5 stars
Softcover. Condition: Very good. Lectures Notes in Mathematics. x, 243 p. 24 cm. Paperback. Light wear. Ink signature on first leaf.
-
Softcover. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-01049 3540095012 Sprache: Englisch Gewicht in Gramm: 550.
-
The Computational Complexity of Logical Theories
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 45.68
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computational Complexity of Logical Theories
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
PF. Condition: New.
-
The Computational Complexity of Logical Theories
Language: English
Published by Springer Berlin Heidelberg, 1979
ISBN 10: 3540095012 ISBN 13: 9783540095019
Condition: New.
-
The Computational Complexity of Logical Theories
Language: English
Published by Springer, Springer Vieweg, 1979
ISBN 10: 3540095012 ISBN 13: 9783540095019
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - and background.- Ehrenfeucht games and decision procedures.- Integer addition ¿ An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds.
-
Condition: Gut. Zustand: Gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher | and background.- Ehrenfeucht games and decision procedures.- Integer addition ¿ An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher | and background.- Ehrenfeucht games and decision procedures.- Integer addition ¿ An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds.
-
Computational Complexity of Logical Theories
Language: English
Published by Springer Nature B.V., 2014
ISBN 10: 3662209802 ISBN 13: 9783662209806
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Computational Complexity of Logical Theories
Language: English
Published by Springer Nature B.V., 2014
ISBN 10: 3662209802 ISBN 13: 9783662209806
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
£ 45.45
£ 4.16 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
The Computational Complexity of Logical Theories
Language: English
Published by Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10: 3540095012 ISBN 13: 9783540095019
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -and background.- Ehrenfeucht games and decision procedures.- Integer addition ¿ An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds. 256 pp. Englisch.
-
The Computational Complexity of Logical Theories
Language: English
Published by Springer, Springer Vieweg Jul 1979, 1979
ISBN 10: 3540095012 ISBN 13: 9783540095019
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -and background.- Ehrenfeucht games and decision procedures.- Integer addition ¿ An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 256 pp. Englisch.
