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.:

ISBN 10: 354013901X / ISBN 13: 9783540139010

Published by Springer Verlag;, 1984

About this Item

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.

Seller Inventory # 1803281

Bibliographic Details

• Title: Computation and Proof Theory: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part II. Lecture Notes in Mathematics 1104
• Publisher: Springer Verlag
• Publication Date: 1984
• Language: English
• ISBN 10: 354013901X
• ISBN 13: 9783540139010
• Binding: Broschiert
• Condition: Gut
• Weight: 790 grams
• Seller catalogs:
  • 200 Mathematik

About this title

Synopsis

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 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.