MLA

Artemov, Sergei, et al. Logical Foundations of Computer Science. Springer Berlin Heidelberg, 2009.

APA

Artemov, S., Kanade, T., Nerode, A., & Kittler, J. (2009). Logical Foundations of Computer Science. Springer Berlin Heidelberg.

Chicago

Artemov, Sergei, Takeo Kanade, Anil Nerode, and Josef Kittler. Logical Foundations of Computer Science. : Springer Berlin Heidelberg, 2009.