Descripci�n 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

M�s informaci�n sobre este vendedor | Contactar al vendedor

Comprar nuevo

EUR 48,10

Convertir moneda

A�adir al carrito

Gastos de env�o: EUR 23,00

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Imagen de archivo

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

Publicado por Springer (1984)

ISBN 10: 354013901X ISBN 13: 9783540139010

Nuevo Tapa blanda Cantidad disponible: 4

Impresi�n bajo demanda

Librería:

Majestic Books
(Hounslow, Reino Unido)

Valoraci�n

Valoraci�n del vendedor:

Descripci�n Condici�n: New. Print on Demand pp. 488 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N� de ref. del art�culo: 8363243

M�s informaci�n sobre este vendedor | Contactar al vendedor

Comprar nuevo

EUR 72,39

Convertir moneda

A�adir al carrito

Gastos de env�o: EUR 7,59

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Imagen del vendedor

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

M. M. Richter

Publicado por Springer Berlin Heidelberg (1984)

ISBN 10: 354013901X ISBN 13: 9783540139010

Nuevo Taschenbuch Cantidad disponible: 1

Librería:

AHA-BUCH GmbH
(Einbeck, Alemania)

Valoraci�n

Valoraci�n del vendedor:

Descripci�n 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

M�s informaci�n sobre este vendedor | Contactar al vendedor

Comprar nuevo

EUR 54,03

Convertir moneda

A�adir al carrito

Gastos de env�o: EUR 32,99

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Imagen del vendedor

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

Richter, M. M.|B�rger, E.|Oberschelp, W.|Schinzel, B.|Thomas, W.

Publicado por Springer Berlin Heidelberg (1984)

ISBN 10: 354013901X ISBN 13: 9783540139010

Nuevo Kartoniert / Broschiert Cantidad disponible: > 20

Impresi�n bajo demanda

Librería:

moluna
(Greven, Alemania)

Valoraci�n

Valoraci�n del vendedor:

Descripci�n Kartoniert / Broschiert. Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. N� de ref. del art�culo: 4882388

M�s informaci�n sobre este vendedor | Contactar al vendedor

Comprar nuevo

EUR 43,95

Convertir moneda

A�adir al carrito

Gastos de env�o: EUR 48,99

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o