APA Style

mathematical Logic for Computer Science Third Edition. (2012). New York and London: Springer .

MLA Style

mathematical Logic for Computer Science Third Edition. . New York and London: Springer , 2012. .