General Recursion Theory
General Recursion Theory
An Axiomatic Approach
Cambridge University Press
03/2017
237
Dura
Inglês
9781107168169
530
Descrição não disponível.
Pons Asinorum; On the choice of correct notations for general theory; Part I. General Theory: 1. General theory: combinatorial part; 2. General theory: subcomputations; Part II. Finite Theories: 3. Finite theories on one type; 4. Finite theories on two types; Part III. Infinite Theories: 5. Admissible prewellorderings; 6. Degree structure; Part IV. Higher Types: 7. Computations over two types; 8. Set recursion and higher types; References; Notation; Author index; Subject index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Pons Asinorum; On the choice of correct notations for general theory; Part I. General Theory: 1. General theory: combinatorial part; 2. General theory: subcomputations; Part II. Finite Theories: 3. Finite theories on one type; 4. Finite theories on two types; Part III. Infinite Theories: 5. Admissible prewellorderings; 6. Degree structure; Part IV. Higher Types: 7. Computations over two types; 8. Set recursion and higher types; References; Notation; Author index; Subject index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
