Cover Image
Read Now

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

Bibliographic Details
Other Authors: Richter, M. M. (Editor), Börger, E. (Editor), Oberschelp, W. (Editor), Schinzel, B. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1984, 1984
Edition:1st ed. 1984
Series:Lecture Notes in Mathematics
Subjects:
Mathematical Logic
Mathematical Logic And Foundations
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 02344nmm a2200301 u 4500
001 EB000654845
003 EBX01000000000000000507927
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9783540391197 
100 1 |a Richter, M. M.  |e [editor] 
245 0 0 |a Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983  |h Elektronische Ressource  |b Part 2: Computation and Proof Theory  |c edited by M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas 
250 |a 1st ed. 1984 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 1984, 1984 
300 |a X, 482 p  |b online resource 
505 0 |a 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 
653 |a Mathematical logic 
653 |a Mathematical Logic and Foundations 
700 1 |a Börger, E.  |e [editor] 
700 1 |a Oberschelp, W.  |e [editor] 
700 1 |a Schinzel, B.  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Lecture Notes in Mathematics 
028 5 0 |a 10.1007/BFb0099476 
856 4 0 |u https://doi.org/10.1007/BFb0099476?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 511.3 

Similar Items