Logical Foundations of Computer Science

MLA

Artemov, Anil Nerode, and Anil Nerode. Logical Foundations of Computer Science. Springer International Publishing, 2018.

APA

Artemov, A., Anil Nerode, A. Nerode, & Nerode, A. (2018). Logical Foundations of Computer Science. Springer International Publishing.

Chicago

Artemov, Anil Nerode, and Anil Nerode. Logical Foundations of Computer Science. : Springer International Publishing, 2018.