Paulson, Lawrence C.
Logic and Computation Interactive Proof with Cambridge LCF - Cambridge CUP 1990 - 302p - Cambridge Tracts in Theoretical Computer Science .
0 521 39560 7
681.3 PAU
Logic and Computation Interactive Proof with Cambridge LCF - Cambridge CUP 1990 - 302p - Cambridge Tracts in Theoretical Computer Science .
0 521 39560 7
681.3 PAU