Etat : Fine. *FREE domestic shipping until Tuesday, May 20* 475 pp., paperback, fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. N� de r�f. du vendeur ZB1297706

Contacter le vendeur

Acheter D'occasion

EUR 7,95

Autre devise

Frais de port : Gratuit

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Computation and Proof Theory

M.M. Richter, E. Borger, Walter Oberschelp, W. Thomas et B. Schinzel

Edit� par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1980

ISBN 10 : 354013901X ISBN 13 : 9783540139010

Ancien ou d'occasion Softcover

Vendeur : Ammareal, Morangis, France

�valuation du vendeur 5 sur 5 �toiles

Softcover. Etat : Tr�s bon. Ancien livre de biblioth�que. Traces d'usure sur la couverture. Petite(s) trace(s) de pliure sur la couverture. Salissures sur la tranche. Couverture diff�rente. Edition 1980. Ammareal reverse jusqu'� 15% du prix net de cet article � des organisations car ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Signs of wear on the cover. Slightly creased cover. Stains on the edge. Different cover. Edition 1980. Ammareal gives back up to 15% of this item's net price to charity organizations. N� de r�f. du vendeur E-573-650

Contacter le vendeur

Acheter D'occasion

EUR 34,55

Autre devise

Frais de port : EUR 8,50

De France vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983. Part 2: Computation and Proof Theory.

Richter, M. M.:

Edit� par Berlin, Springer, 1984

ISBN 10 : 354013901X ISBN 13 : 9783540139010

Ancien ou d'occasion Softcover

Vendeur : Antiquariat Bookfarm, L�bnitz, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Softcover. 1984 edition. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C-04407 354013901X Sprache: Englisch Gewicht in Gramm: 1150. N� de r�f. du vendeur 2490641

Contacter le vendeur

Acheter D'occasion

EUR 5,70

Autre devise

Frais de port : EUR 40

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Computation and Proof Theory: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part II. Lecture Notes in Mathematics 1104

Richter, Michael M., A. Dold B. Eckmann a. o.:

Edit� par Springer Verlag;, 1984

ISBN 10 : 354013901X ISBN 13 : 9783540139010

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. 475 Seiten Das hier angebotene Buch stammt aus einer teilaufgel�sten wissenschaftlichen Bibliothek und tr�gt die entsprechenden Kennzeichnungen (R�ckenschild, Instituts-Stempel.); leichte altersbedingte Anbr�unung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Einbandkanten sind leicht besto�en. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 790. N� de r�f. du vendeur 1803281

Contacter le vendeur

Acheter D'occasion

EUR 33,95

Autre devise

Frais de port : EUR 12,95

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory

Richter, M. M.

Edit� par Springer 1984-12, 1984

ISBN 10 : 354013901X ISBN 13 : 9783540139010

Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

PF. Etat : New. N� de r�f. du vendeur 6666-IUK-9783540139010

Contacter le vendeur

Acheter neuf

EUR 43,65

Autre devise

Frais de port : EUR 18,42

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics, 1104)

Edit� par Springer, 1984

ISBN 10 : 354013901X ISBN 13 : 9783540139010

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783540139010_new

Contacter le vendeur

Acheter neuf

EUR 48,90

Autre devise

Frais de port : EUR 14,25

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

M. M. Richter

Edit� par Springer Berlin Heidelberg Dez 1984, 1984

ISBN 10 : 354013901X ISBN 13 : 9783540139010

Neuf Taschenbuch

impression � la demande

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 -Contiguous R.E. Degrees.- Abstract construction of counterexamples in recursive graph theory.- Minimal degrees and 1-generic sets below 0 .- Undecidability and recursive equivalence II.- Logical syntax and computational complexity.- Subrecursive hierarchies via direct limits.- A star-finite relational semantics for parallel programs.- Between constructive and classical mathematics.- Partial closures and semantics of while: Towards an iteration-based theory of data types.- Toward logic tailored for computational complexity.- On a new notion of partial conservativity.- Finitely approximable sets.- A unified approach to constructive and recursive analysis.- On faithful interpretability.- Abstract recursion as a foundation for the theory of algorithms.- Some logical problems connected with a modular decomposition theory of automata.- Diophantine equations in a fragment of number theory.- Generalized rules for quantifiers and the completeness of the intuitionistic operators &, , , , , .- On subsets of the Skolem class of exponential polynomials.- Effective operators in a topological setting.- An axiomatization of the apartness fragment of the theory DLO+ of dense linear order. 488 pp. Englisch. N� de r�f. du vendeur 9783540139010

Contacter le vendeur

Acheter neuf

EUR 48,10

Autre devise

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory

Unbekannt

Edit� par Springer Berlin Heidelberg, 1984

ISBN 10 : 354013901X ISBN 13 : 9783540139010

Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Aus der Aufl�sung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 488 | Sprache: Englisch | Produktart: Sonstiges. N� de r�f. du vendeur 4412969/202

Contacter le vendeur

Acheter D'occasion

EUR 33,87

Autre devise

Frais de port : EUR 45

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory

M. M. Richter

Edit� par Springer Berlin Heidelberg, 1984

ISBN 10 : 354013901X ISBN 13 : 9783540139010

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Contiguous R.E. Degrees.- Abstract construction of counterexamples in recursive graph theory.- Minimal degrees and 1-generic sets below 0 .- Undecidability and recursive equivalence II.- Logical syntax and computational complexity.- Subrecursive hierarchies via direct limits.- A star-finite relational semantics for parallel programs.- Between constructive and classical mathematics.- Partial closures and semantics of while: Towards an iteration-based theory of data types.- Toward logic tailored for computational complexity.- On a new notion of partial conservativity.- Finitely approximable sets.- A unified approach to constructive and recursive analysis.- On faithful interpretability.- Abstract recursion as a foundation for the theory of algorithms.- Some logical problems connected with a modular decomposition theory of automata.- Diophantine equations in a fragment of number theory.- Generalized rules for quantifiers and the completeness of the intuitionistic operators &, , , , , .- On subsets of the Skolem class of exponential polynomials.- Effective operators in a topological setting.- An axiomatization of the apartness fragment of the theory DLO+ of dense linear order. N� de r�f. du vendeur 9783540139010

Contacter le vendeur