Computability and decidability : an introduction for students and computer science - Loeckx, Jacques, 1931- (Lecture notes in economics and mathematical systems ;, 1972)