APA (7th ed.) Citation

Paulson, L. C. (1990). Logic and computation: Interactive proof with Cambridge LCF. Cambridge University Press.

Chicago Style (17th ed.) Citation

Paulson, Lawrence C. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge ; New York: Cambridge University Press, 1990.

MLA (9th ed.) Citation

Paulson, Lawrence C. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 1990.