Citazione Stile APA (7a Edizione)
Bornat, R. (2005). Proof and Disproof in Formal Logic: An itroduction for programmers (1. vyd.). Oxford University Press.
Citazione stile Chigago Style (17a edizione)
Bornat, Richard. Proof and Disproof in Formal Logic: An Itroduction for Programmers. 1. vyd. Oxford: Oxford University Press, 2005.
Citatione MLA (9a ed.)
Bornat, Richard. Proof and Disproof in Formal Logic: An Itroduction for Programmers. 1. vyd. Oxford University Press, 2005.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.