Mordechai, B. (2001). Mathematical logic for computer science (2nd ed.). Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Mordechai, Ben-Ari. Mathematical Logic for Computer Science. 2nd ed. London: Springer, 2001.
Παραπομπή σε μορφή MLA (8th εκδ.)Mordechai, Ben-Ari. Mathematical Logic for Computer Science. 2nd ed. Springer, 2001.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.