Computability and decidability an introduction for students of computer science - Loeckx J (Berlin Springer-verlag, 1972)
Keywords: Computability,decidability>