Synopsis
Book by Ferrante J Rackoff C W
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour The Computational Complexity of Logical Theories
Image fournie par le vendeur
The Computational Complexity of Logical Theories Lecture Notes in Mathematics, 718
Edité par
Springer Berlin Heidelberg, 1979
ISBN 10 : 3540095012
ISBN 13 : 9783540095019
Ancien ou d'occasion
Broschiert
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Broschiert. Etat : 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. N° de réf. du vendeur 2206747
Acheter D'occasion
EUR 18,95
Expédition à EUR 15,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The Computational Complexity of Logical Theories
Edité par
Springer, Berlin, 1979
ISBN 10 : 3540095012
ISBN 13 : 9783540095019
Ancien ou d'occasion
Softcover
Vendeur : Attic Books (ABAC, ILAB), London, ON, Canada
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Very good. Lectures Notes in Mathematics. x, 243 p. 24 cm. Paperback. Light wear. Ink signature on first leaf. N° de réf. du vendeur 134246
Acheter D'occasion
EUR 22,10
Expédition à EUR 12,88
Expédition depuis Canada vers Etats-Unis
Expédition depuis Canada vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Lecture Notes in Mathematics: The Computational Complexity of Logical Theories (Volume 718)
Edité par
Springer, 1979
ISBN 10 : 3540095012
ISBN 13 : 9783540095019
Ancien ou d'occasion
Couverture souple
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 5775807
Acheter D'occasion
EUR 27,59
Expédition à EUR 15,70
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The Computational Complexity of Logical Theories (Lecture Notes in Mathematics)
Edité par
Springer Berlin Heidelberg, 1979
ISBN 10 : 3540095012
ISBN 13 : 9783540095019
Ancien ou d'occasion
Couverture souple
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 370909
Acheter D'occasion
EUR 19,79
Expédition à EUR 24
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The Computational Complexity of Logical Theories. Lecture notes in mathematics; 718.
Edité par
Berlin, Springer, 1979
ISBN 10 : 3540095012
ISBN 13 : 9783540095019
Ancien ou d'occasion
Softcover
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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. N° de réf. du vendeur 2484896
Acheter D'occasion
EUR 18,90
Expédition à EUR 40
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The Computational Complexity of Logical Theories
Edité par
Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10 : 3540095012
ISBN 13 : 9783540095019
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540095019
Acheter neuf
EUR 48,14
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Computational Complexity of Logical Theories
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540095019_new
Acheter neuf
EUR 60,42
Expédition à EUR 13,83
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Computational Complexity of Logical Theories
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540095019
Acheter neuf
EUR 56,81
Expédition à EUR 17,89
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
The Computational Complexity of Logical Theories
Edité par
Springer Berlin Heidelberg, 1979
ISBN 10 : 3540095012
ISBN 13 : 9783540095019
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 4880478
Acheter neuf
EUR 48,37
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
The Computational Complexity of Logical Theories
Edité par
Springer, Springer Vieweg Jul 1979, 1979
ISBN 10 : 3540095012
ISBN 13 : 9783540095019
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540095019
Acheter neuf
EUR 53,49
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)