APA Style

Mathematical Logic for Computer Science Second Edition. (2003). London: Springer.

MLA Style

Mathematical Logic for Computer Science Second Edition. . London: Springer, 2003. Text.