Paulson, L. C. [ca. 1990]. Logic and computation : interactive proof with Cambridge LCF. In Cambridge tracts in theoretical computer science [Book]. Cambridge, Mass. [u.a.]: Cambridge Univ. Press.
ISO-690 (author-date, English)PAULSON, Lawrence C., 1990. Logic and computation : interactive proof with Cambridge LCF. Cambridge, Mass. [u.a.]: Cambridge Univ. Press. ISBN 0521395607.
Modern Language Association 9th editionPaulson, L. C. „Logic and computation : interactive proof with Cambridge LCF“. Cambridge tracts in theoretical computer science, book, Cambridge Univ. Press, 1990.
Mohr Siebeck - Recht (Deutsch - Österreich)Paulson, Lawrence C.: Logic and computation : interactive proof with Cambridge LCF, Cambridge, Mass. [u.a.] 1990.
Emerald - HarvardPaulson, L.C. (1990), Logic and computation : interactive proof with Cambridge LCF, Cambridge tracts in theoretical computer science, Bd. , Cambridge Univ. Press, Cambridge, Mass. [u.a.].