Logical Foundations of Computer Science

MLA

Hutchison, David, et al. Logical Foundations of Computer Science. Springer Berlin Heidelberg, 2013.

APA

Hutchison, D., Kanade, T., Kittler, J., & Nerode, A. (2013). Logical Foundations of Computer Science. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Josef Kittler, and Anil Nerode. Logical Foundations of Computer Science. : Springer Berlin Heidelberg, 2013.