O'Leary, M. L. (2002). The structure of proof: With logic and set theory. Prentice Hall.
Παραπομπή σε μορφή Chicago (17η εκδ.)O'Leary, Michael L. The Structure of Proof: With Logic and Set Theory. Upper Saddle River, N.J.: Prentice Hall, 2002.
Παραπομπή σε μορφή MLA (8th εκδ.)O'Leary, Michael L. The Structure of Proof: With Logic and Set Theory. Prentice Hall, 2002.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.