Paulson, Lawrence C.
Logic and computation : interactive proof with cambridge LCF / Lawrence C. Paulson. - New York : Cambridge University Press , cop. 1987 . - XIII, 307 p. : il. ; 25 cm. - (Cambridge Tracts in Theoretical Computer science) ; 2
ISBN 0-521-34632-0
Cálculo
Lógica
LCC QA9.59
Logic and computation : interactive proof with cambridge LCF / Lawrence C. Paulson. - New York : Cambridge University Press , cop. 1987 . - XIII, 307 p. : il. ; 25 cm. - (Cambridge Tracts in Theoretical Computer science) ; 2
ISBN 0-521-34632-0
Cálculo
Lógica
LCC QA9.59