Bornat, R. (2005). Proof and Disproof in Formal Logic: An itroduction for programmers (1. vyd.). Oxford University Press.
Successfully copied to clipboard
Copying to clipboard failed
Citação norma Chicago
Bornat, Richard. Proof and Disproof in Formal Logic: An Itroduction for Programmers. 1. vyd. Oxford: Oxford University Press, 2005.
Successfully copied to clipboard
Copying to clipboard failed
Citação norma MLA
Bornat, Richard. Proof and Disproof in Formal Logic: An Itroduction for Programmers. 1. vyd. Oxford University Press, 2005.
Successfully copied to clipboard
Copying to clipboard failed
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.