APA
Sergei N. Artemov A. N., . (2007). Logical Foundations of Computer Science. Germany: Springer.
Chicago
Sergei N. Artemov Anil Nerode, . 2007. Logical Foundations of Computer Science. Germany: Springer.
Harvard
Sergei N. Artemov A. N., . (2007). Logical Foundations of Computer Science. Germany: Springer.
MLA
Sergei N. Artemov Anil Nerode, . Logical Foundations of Computer Science. Germany: Springer. 2007.