Logical Foundations of Computer Science
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.