Artículos relacionados a Proceedings of the Logic Colloquium. Held in Aachen,...
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory: 1104 (Lecture Notes in Mathematics) - Tapa blanda
- EditorialSpringer
- Año de publicación2009
- ISBN 10 354013901X
- ISBN 13 9783540139010
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas488
- EditorRichter Michael M.
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 49,00
EUR 4,74 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Proceedings of the Logic Colloquium. Held in Aachen,...
Imagen del vendedor
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983. Part 2: Computation and Proof Theory.
Publicado por
Berlin, Springer, 1984
ISBN 10: 354013901X
ISBN 13: 9783540139010
Antiguo o usado
Softcover
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
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 ref. del artículo: 2490641
Cantidad disponible: 1 disponibles
Imagen de archivo
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics, 1104)
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Fine. 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 ref. del artículo: ZB1297706
Cantidad disponible: 1 disponibles
Imagen de archivo
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Computation and Proof Theory
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1980
ISBN 10: 354013901X
ISBN 13: 9783540139010
Antiguo o usado
Softcover
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: 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 ref. del artículo: E-573-650
Cantidad disponible: 1 disponibles
Imagen de archivo
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory
Publicado por
Springer Berlin Heidelberg, 1984
ISBN 10: 354013901X
ISBN 13: 9783540139010
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: 4412969/202
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computation and Proof Theory: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part II. Lecture Notes in Mathematics 1104
Publicado por
Springer Verlag;, 1984
ISBN 10: 354013901X
ISBN 13: 9783540139010
Antiguo o usado
Broschiert
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
Broschiert. Condición: 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 ref. del artículo: 1803281
Cantidad disponible: 1 disponibles
Imagen de archivo
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics, 1104)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540139010_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Publicado por
Springer Berlin Heidelberg Dez 1984, 1984
ISBN 10: 354013901X
ISBN 13: 9783540139010
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783540139010
Cantidad disponible: 2 disponibles
Imagen del vendedor
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory
Publicado por
Springer Berlin Heidelberg, 1984
ISBN 10: 354013901X
ISBN 13: 9783540139010
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783540139010
Cantidad disponible: 1 disponibles
Imagen de archivo
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540139010
Cantidad disponible: 10 disponibles
Imagen del vendedor
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 1984, 1984
ISBN 10: 354013901X
ISBN 13: 9783540139010
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. 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 ref. del artículo: 9783540139010
Cantidad disponible: 2 disponibles