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

ISBN 10: 354013901X / ISBN 13: 9783540139010

Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1980

Riguardo questo articolo

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.

Codice articolo E-573-650

Dati bibliografici

• Titolo: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Computation and Proof Theory
• Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
• Data di pubblicazione: 1980
• Lingua: Inglese
• ISBN 10: 354013901X
• ISBN 13: 9783540139010
• Rilegatura: Softcover
• Condizione: Très bon

Descrizione articolo

Contenuti

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.