Computer Science Logic

MLA

Kaminski, Michael, et al. Computer Science Logic. Springer Berlin Heidelberg, 2008.

APA

Kaminski, M., Kanade, T., Martini, S., & Kittler, J. (2008). Computer Science Logic. Springer Berlin Heidelberg.

Chicago

Kaminski, Michael, Takeo Kanade, Simone Martini, and Josef Kittler. Computer Science Logic. : Springer Berlin Heidelberg, 2008.