Title: Logic and Computation
Subjects: Cambridge LCF (Computer system), Data processing, Computable functions