---

＜電子ブック＞
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory / edited by M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas
(Lecture Notes in Mathematics. ISSN:16179692 ; 1104)

版	1st ed. 1984.
出版者	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
出版年	1984
本文言語	英語
大きさ	X, 482 p : online resource
冊子体	Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II / edited by M.M. Richter ... [et al.] ; : gw,: us
著者標目	Richter, M. M editor Börger, E editor Oberschelp, W editor Schinzel, B editor Thomas, W editor SpringerLink (Online service)
件　名	LCSH:Mathematical logic FREE:Mathematical Logic and Foundations
一般注記	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 Accessibility summary: This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at accessibilitysupport@springernature.com if you require assistance or an alternative format Inaccessible, or known limited accessibility No reading system accessibility options actively disabled Publisher contact for further accessibility information: accessibilitysupport@springernature.com HTTP:URL=https://doi.org/10.1007/BFb0099476

 類似資料