Computer Science Logic
MLA
Duparc, Jacques, et al. Computer Science Logic. Springer Berlin Heidelberg, 2007.
APA
Duparc, J., Henzinger, T. A, Kanade, T., & Kittler, J. (2007). Computer Science Logic. Springer Berlin Heidelberg.
Chicago
Duparc, Jacques, Thomas A Henzinger, Takeo Kanade, and Josef Kittler. Computer Science Logic. : Springer Berlin Heidelberg, 2007.