Ben-Ari, M. (2012). Mathematical Logic for Computer Science (3rd ed. 2012.). Springer London : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Ben-Ari, Mordechai. Mathematical Logic for Computer Science. 3rd ed. 2012. London: Springer London : Imprint: Springer, 2012.
Παραπομπή σε μορφή MLA (8th εκδ.)Ben-Ari, Mordechai. Mathematical Logic for Computer Science. 3rd ed. 2012. Springer London : Imprint: Springer, 2012.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.