APA Style

Ben-Ari, M. (2001). Mathematical logic for computer science. Second Edition (Second Edition). London: Springer.

MLA Style

Ben-Ari, Mordechai. "Mathematical logic for computer science. Second Edition". Second Edition London: Springer, 2001. Text.