6433 results in Logic, categories and Sets
Applications of Classical Recursion Theory to Computer Science
-
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp 236-247
-
- Chapter
- Export citation
Some Constructions in α-Recursion Theory
-
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp 158-170
-
- Chapter
- Export citation
List of Participants
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp viii-viii
-
- Chapter
- Export citation
Computing in Algebraic Systems
-
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp 215-235
-
- Chapter
- Export citation
Contents
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp v-vi
-
- Chapter
- Export citation
Degrees of Generic Sets
-
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp 110-139
-
- Chapter
- Export citation
Fundamental Methods for Constructing Recursively Enumerable Degrees
-
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp 1-51
-
- Chapter
- Export citation
Complexity Theory with Emphasis on the Complexity of Logical Theories
-
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp 286-319
-
- Chapter
- Export citation
Preface
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp vii-vii
-
- Chapter
- Export citation
“Natural” Programming Languages and Complexity Measures for Subrecursive Programming Languages: An Abstract Approach
-
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp 248-285
-
- Chapter
- Export citation
CLASSICAL RECURSION THEORY
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp -
-
- Chapter
- Export citation
GENERALISATIONS
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp -
-
- Chapter
- Export citation
The Recursion Theory of the Continuous Functionals
-
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp 171-183
-
- Chapter
- Export citation
APPLICATIONS
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp -
-
- Chapter
- Export citation
The Degrees of Unsolvability: Some Recent Results
-
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp 140-157
-
- Chapter
- Export citation
A Survey of Non-RE Degrees ≤ O'
-
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp 52-109
-
- Chapter
- Export citation
Recursion Theory, its Generalisations and Applications
-
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980
Three Aspects of Recursive Enumerability in Higher Types
-
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp 184-214
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp i-iv
-
- Chapter
- Export citation
Computability
- An Introduction to Recursive Function Theory
-
- Published online:
- 28 May 2018
- Print publication:
- 19 June 1980
-
- Textbook
- Export citation