Nerode, A., & Shore, R. A. (1997). Logic for applications (2. edition.). Springer.
Chicago-Zitierstil (17. Ausg.)Nerode, Anil, und Richard A. Shore. Logic for Applications. 2. edition. New York: Springer, 1997.
MLA-Zitierstil (9. Ausg.)Nerode, Anil, und Richard A. Shore. Logic for Applications. 2. edition. Springer, 1997.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.