Computer Science Logic

MLA

Grädel, Erich, Reinhard Kahle, and Takeo Kanade. Computer Science Logic. Springer Berlin Heidelberg, 2009.

APA

Grädel, E., Kahle, R., & Kanade, T. (2009). Computer Science Logic. Springer Berlin Heidelberg.

Chicago

Grädel, Erich, Reinhard Kahle, and Takeo Kanade. Computer Science Logic. : Springer Berlin Heidelberg, 2009.