| Dewey Class |
511.3 |
| Title |
Computation and Proof Theory ([EBook] :) : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II / / edited by Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas. |
| Added Personal Name |
Börger, Egon editor. |
| Oberschelp, Walter editor. |
| Richter, Michael M. editor. |
| Schinzel, Brigitta editor. |
| Thomas, Wolfgang editor. |
| Other name(s) |
SpringerLink (Online service) |
| Publication |
Berlin, Heidelberg : : Springer Berlin Heidelberg : : Imprint: Springer, , 1984. |
| Physical Details |
X, 482 p. : online resource. |
| Series |
Lecture Notes in Mathematics 0075-8434 ; ; 1104 |
| ISBN |
9783540391197 |
| Contents note |
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. |
| System details note |
Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users) |
| Internet Site |
http://dx.doi.org/10.1007/BFb0099476 |
| Links to Related Works |
Subject References:
Authors:
Corporate Authors:
Series:
Classification:
|
|---|
