Explore Books on
récursivité théorie de la

Computability, enumerability, unsolvability

By S. B. Cooper

Recursion theory

By Joseph R. Shoenfield

Generalized recursion theory

By Symposium on Generalized Recursion Theory University of Oslo 1972.

Recursion theory for metamathematics

By Raymond M. Smullyan

First-Order Dynamic Logic

By D. Harel

Cabal Seminar 79-81

By A. S. Kechris

General recursion theory

By J. E. Fewstad