Computer Science Logic

MLA

Dawar, Anuj, et al. Computer Science Logic. Springer Berlin Heidelberg, 2010.

APA

Dawar, A., Kanade, T., Veith, H., & Kittler, J. (2010). Computer Science Logic. Springer Berlin Heidelberg.

Chicago

Dawar, Anuj, Takeo Kanade, Helmut Veith, and Josef Kittler. Computer Science Logic. : Springer Berlin Heidelberg, 2010.