Makowsky, J. A. (2003). Computer science logic. Springer.
Chicago Edition CitationMakowsky, Johann A. Computer Science Logic. Berlin: Springer, 2003.
MLA Edition CitationMakowsky, Johann A. Computer Science Logic. Springer, 2003.
Warning: These citations may not always be 100% accurate.