TY  - BOOK
AU  - Paulson, Lawrence C
TI  - Logic and computation : interactive proof with Cambridge LCF
SN  - 9780521395601
SN  - 87018305
U1  - 004.125 PAU 
PY  - 1987///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Cambridge LCF (Computer system)
KW  - Computable functions - Data processing
N1  - Includes index. Bibliography: p. [289]-295
ER  -