The Computational Complexity of Logical Theories: 718 (Lecture Notes in Mathematics, 718) - Softcover
Search results for The Computational Complexity of Logical Theories: 718...
Seller Image
The Computational Complexity of Logical Theories
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. Seller Inventory # 134246
Seller Image
The Computational Complexity of Logical Theories Lecture Notes in Mathematics, 718
Published by
Springer Berlin Heidelberg, 1979
ISBN 10: 3540095012
ISBN 13: 9783540095019
Used
Broschiert
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. Seller Inventory # 2206747
Stock Image
Lecture Notes in Mathematics: The Computational Complexity of Logical Theories (Volume 718)
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
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. Seller Inventory # 5775807
Buy Used
£ 23.19
£ 13.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
The Computational Complexity of Logical Theories (Lecture Notes in Mathematics)
Published by
Springer Berlin Heidelberg, 1979
ISBN 10: 3540095012
ISBN 13: 9783540095019
Used
Softcover
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
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. Seller Inventory # 370909
Seller Image
The Computational Complexity of Logical Theories. Lecture notes in mathematics; 718.
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
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. Seller Inventory # 2484896
Stock Image
Computational Complexity of Logical Theories
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540095019_new
Buy New
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
The Computational Complexity of Logical Theories
Published by
Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10: 3540095012
ISBN 13: 9783540095019
New
Taschenbuch
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. Seller Inventory # 9783540095019
Stock Image
The Computational Complexity of Logical Theories
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540095019
Buy New
£ 47.77
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
The Computational Complexity of Logical Theories
Published by
Springer Berlin Heidelberg, 1979
ISBN 10: 3540095012
ISBN 13: 9783540095019
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4880478
Buy New
£ 43.18
£ 42.46 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
The Computational Complexity of Logical Theories
Published by
Springer, Springer Vieweg Jul 1979, 1979
ISBN 10: 3540095012
ISBN 13: 9783540095019
New
Taschenbuch
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. Seller Inventory # 9783540095019