Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 : computation and proof theory, part 2 / / edited by M. M. Richter (and four others)
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 : computation and proof theory, part 2 / / edited by M. M. Richter (and four others)
|
| Pubblicazione: | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1984] |
| ©1984 | |
| Edizione: | 1st ed. 1984. |
| Descrizione fisica: | 1 online resource (X, 482 p.) |
| Disciplina: | 511.3 |
| Soggetto topico: | Logic, Symbolic and mathematical |
| Model theory | |
| Persona (resp. second.): | RichterMichael M. <1938-> |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983 |
| ISBN: | 3-540-39119-3 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466863003316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Mathematics, . 0075-8434 ; ; 1104