The classical decision problem. - Springer Verlag, 1997. - (Perspectives in mathematical logic).
Finite model theory. - Springer Verlag, 1995. - (Perspectives in mathematical logic).
Fundamentals of stability theory. - Springer Verlag, 1988. - (Perspectives in mathematical logic).
Recursively enumerable sets and degrees. A study of computable functions and computably generated sets. - Springer Verlag, 1987. - (Perspectives in mathematical logic).
Model-theoretic logics. - Springer Verlag, 1985. - (Perspectives in mathematical logic).
Degrees of unsolvability : local and global theory. - Springer Verlag, 1983. - (Perspectives in mathematical logic).
General recursion theory, an axiomatic approach. - Springer Verlag, 1980. - (Perspectives in mathematical logic).
Recursion-theoretic hierarchies. - Springer Verlag, 1978. - (Perspectives in mathematical logic).