Nerode, A., & Shore, R. A. (1997). Logic for applications (2nd ed.). Springer-Verlag.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Nerode, Anil, và Richard A. Shore. Logic for Applications. 2nd ed. New york: Springer-Verlag, 1997.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Nerode, Anil, và Richard A. Shore. Logic for Applications. 2nd ed. Springer-Verlag, 1997.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.