Paulson, L. C. (1987). Logic and computation: Interactive Proof with Cambridge LCF. Cambridge University Press.
Chicago Style (17th ed.) CitationPaulson, Lawrence C. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge: Cambridge University Press, 1987.
MLA (8th ed.) CitationPaulson, Lawrence C. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1987.
Warning: These citations may not always be 100% accurate.
