Computability - Tourlakis G J (1984)
Keywords: Mathematical logic