Logic and computation : - Paulson, Lawrence C. (Cambridge tracts in theoretical computer science, 1987)