APA Style

Mathematical Logic For Computer Science. (2019). New York: Springer-Verlag London Limited.

MLA Style

Mathematical Logic For Computer Science. . New York: Springer-Verlag London Limited, 2019. Text.