From logic to computers - Thewlis, P. J. (Computer science texts, 1983)