Bornat, R. [ca. 2005]. Proof and disproof in formal logic : an introduction for programmers. In Oxford texts in logic [Book]. Oxford: Oxford Univ. Press.

BORNAT, Richard, 2005. Proof and disproof in formal logic : an introduction for programmers. Oxford: Oxford Univ. Press. Oxford texts in logic, 2. ISBN 0198530269.

Bornat, R. „Proof and disproof in formal logic : an introduction for programmers“. Oxford texts in logic, book, Oxford Univ. Press, 2005.

Bornat, Richard: Proof and disproof in formal logic : an introduction for programmers, . Oxford texts in logic, Oxford 2005.

Bornat, R. (2005), Proof and disproof in formal logic : an introduction for programmers, Oxford texts in logic, Bd. , Oxford Univ. Press, Oxford.