Nerode, A., & Shore, R. A. (1997). Logic for applications (2nd ed.). Springer-Verlag.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Nerode, Anil, ба Richard A. Shore. Logic for Applications. 2nd ed. New york: Springer-Verlag, 1997.
MLA -ийн эшлэл (9 дэх хэвлэлт)Nerode, Anil, ба Richard A. Shore. Logic for Applications. 2nd ed. Springer-Verlag, 1997.