Nerode, A., & Shore, R. A. (1993). Logic for applications. New York: Springer.
Παραπομπή Chicago StyleNerode, Anil, and Richard A. Shore. Logic for Applications. New York: Springer, 1993.
Παραπομπή MLANerode, Anil, and Richard A. Shore. Logic for Applications. New York: Springer, 1993.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.