Recursion theory by Logic Colloquium (1979 Leeds, Yorkshire) | Menrva Books