Logical Foundations of Computer Science

MLA

Artemov, Sergei N, et al. Logical Foundations of Computer Science. Springer Berlin Heidelberg, 2007.

APA

Artemov, S. NArtemov, S. N, Hutchison, D., Kanade, T., Nerode, A., & Kittler, J. (2007). Logical Foundations of Computer Science. Springer Berlin Heidelberg.

Chicago

Artemov, Sergei N., S. N Artemov, David Hutchison, Takeo Kanade, Anil Nerode, and Josef Kittler. Logical Foundations of Computer Science. : Springer Berlin Heidelberg, 2007.