Ben-Arî, M. (2012). Mathematical logic for computer science (Third edition.). Springer.
Chicago Style (17th ed.) CitationBen-Arî, Môtî. Mathematical Logic for Computer Science. Third edition. London ; Heidelberg ; New York ; Dordrecht: Springer, 2012.
MLA (9th ed.) CitationBen-Arî, Môtî. Mathematical Logic for Computer Science. Third edition. Springer, 2012.
Warning: These citations may not always be 100% accurate.