Ben - Ari, M. (2005). Mathematical logic for computer Science (2.). Springer.
Chicago Edition CitationBen - Ari, Mordechai. Mathematical Logic for Computer Science. 2. Springer, 2005.
MLA Edition CitationBen - Ari, Mordechai. Mathematical Logic for Computer Science. 2. Springer, 2005.
Warning: These citations may not always be 100% accurate.