Mathematical logic and computer science - Dömölki, B.; Gergely, T. (North-Holland, 1981)