1
Programs as Diagrams [E-Book] : From Categorical Computability to Computable Categories /
2
Algorithms for Constructing Computably Enumerable Sets [E-Book] /
3
Reverse Mathematics [E-Book] : Problems, Reductions, and Proofs /
4
Computability [E-Book] /
Subject (ZB): ...Recursion theory....

Full text 
5
Automata Theory and Formal Languages [E-Book] : Fundamental Notions, Theorems, and Techniques /
6
Recursion theory : computational aspects of definability [E-Book] /
7
Potential wadge classes [E-Book] /
Subject (ZB): ...Recursion theory....

Full text 
8
How to think about algorithms / [E-Book]
Subject (ZB): ...Recursion theory Study and teaching....

Full text 
9
Computational prospects of infinity Part I, Tutorials [E-Book] /
Subject (ZB): ...Recursion theory Congresses....

Full text 
10
The role of true finiteness in the admissible recursively enumerable degrees [E-Book] /
11
Handbook of recursive mathematics [E-Book] /
12
Handbook of recursive mathematics [E-Book] /
13
Computability, Enumerability, Unsolvability [E-Book] : Directions in Recursion Theory /
14
Classical recursion theory [E-Book] : the theory of functions and sets of natural numbers /
15
Classical recursion theory [E-Book] : the theory of functions and sets of natural numbers /
16
Fundamentals of generalized recursion theory [E-Book] /
17
Initial segments of degrees below 0' [E-Book] /
18
The Kleene Symposium [E-Book] : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
19
Generalized recursion theory II [E-Book] : proceedings of the 1977 Oslo Symposium /
20
Generalized recursion theory [E-Book] : Proceedings of the 1972 Oslo symposium /