Logical Foundations of Computer Science

MLA

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

APA

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

Chicago

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