TY  - BOOK
AU  - Paulson, Lawrence C.
TI  - Logic and computation: interactive proof with Cambridge LCF
SN  - 0521346320
U1  - 001.64 
PY  - 1987///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Computable Functions--Data Processing
KW  - Cambridge Clf (Computer System)
ER  -