Nerode, A., & Shore, R. A. (1993). Logic for applications. Springer-Verlag.
Παραπομπή σε μορφή Chicago (17η εκδ.)Nerode, Anil, και Richard A. Shore. Logic for Applications. New York: Springer-Verlag, 1993.
Παραπομπή σε μορφή MLA (9th εκδ.)Nerode, Anil, και Richard A. Shore. Logic for Applications. Springer-Verlag, 1993.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.