Logic and computation interactive proof with Cambridge LCF
Paulson, Lawrence C.
Cambridge Cambridge University Press
1987
Includes bibliography and index
Cambridge LCF (Computer system)
Computable functions