TY  - BOOK
AU  - PAULSON L.C.
TI  - LOGIC AND COMPUTATION : INTERACTIVE PROOF WITH CAMBRIDGE LCF
SN  - 0000521395607
U1  - 004.0151 
PB  - CAMEBRIDGE : CAMEBRIDGE UNIVERSITY PRESS
KW  - COMPUTER SCIENCE : FUNCTIONS
ER  -