LEADER 03111nam 2200589 450 001 996466863003316 005 20220915220814.0 010 $a3-540-39119-3 024 7 $a10.1007/BFb0099476 035 $a(CKB)1000000000437701 035 $a(SSID)ssj0000322006 035 $a(PQKBManifestationID)12125872 035 $a(PQKBTitleCode)TC0000322006 035 $a(PQKBWorkID)10280778 035 $a(PQKB)11068532 035 $a(DE-He213)978-3-540-39119-7 035 $a(MiAaPQ)EBC5585419 035 $a(Au-PeEL)EBL5585419 035 $a(OCoLC)1066188615 035 $a(MiAaPQ)EBC6842816 035 $a(Au-PeEL)EBL6842816 035 $a(PPN)155165798 035 $a(EXLCZ)991000000000437701 100 $a20220915d1984 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aProceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 $ecomputation and proof theory, part 2 /$fedited by M. M. Richter (and four others) 205 $a1st ed. 1984. 210 1$aBerlin, Germany ;$aNew York, New York :$cSpringer-Verlag,$d[1984] 210 4$dİ1984 215 $a1 online resource (X, 482 p.) 225 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v1104 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-13901-X 327 $aContiguous 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. 410 0$aLecture Notes in Mathematics,$x0075-8434 ;$v1104 606 $aLogic, Symbolic and mathematical$vCongresses 606 $aModel theory 615 0$aLogic, Symbolic and mathematical 615 0$aModel theory. 676 $a511.3 702 $aRichter$b Michael M.$f1938- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466863003316 996 $aProceedings of the Logic colloquium held in Aachen, July 18-23, 1983$979806 997 $aUNISA