Börger, Egon & Grädel, Erich & Gurevich, YuriThe classical decision problem. - Springer Verlag, 1997. - (Perspectives in mathematical logic).
Ebbinghaus, Heinz-Dieter & Flum, JörgFinite model theory. - Springer Verlag, 1995. - (Perspectives in mathematical logic).
Baldwin, John T.Fundamentals of stability theory. - Springer Verlag, 1988. - (Perspectives in mathematical logic).
Soare,Robert I.Recursively enumerable sets and degrees. A study of computable functions and computably generated sets. - Springer Verlag, 1987. - (Perspectives in mathematical logic).
Barwise, J. & Fefermann, S. (eds)Model-theoretic logics. - Springer Verlag, 1985. - (Perspectives in mathematical logic).
Lerman, ManuelDegrees of unsolvability : local and global theory. - Springer Verlag, 1983. - (Perspectives in mathematical logic).
Fenstad, Jens E.General recursion theory, an axiomatic approach. - Springer Verlag, 1980. - (Perspectives in mathematical logic).
Hinman, Peter G.Recursion-theoretic hierarchies. - Springer Verlag, 1978. - (Perspectives in mathematical logic).