Logic and computation : interactive proof with cambridge LCF
Paulson, Lawrence C.
Logic and computation : interactive proof with cambridge LCF - - Cambridge Cambridge Univ. Press, 1987 - xiii,302 p. 24 cm - .
0-521-39560-79
Logic, Symbolic and mathematical
Computable functions-Data processing
681.3:517.1 Pau
Logic and computation : interactive proof with cambridge LCF - - Cambridge Cambridge Univ. Press, 1987 - xiii,302 p. 24 cm - .
0-521-39560-79
Logic, Symbolic and mathematical
Computable functions-Data processing
681.3:517.1 Pau