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