Computability and decidability an introduction for students of computer science - Loeckx, Jacques 1931- (Springer-Verlag, 1972)