Gaya APA

Artemov, S., Nerode, A. (2013). Logical Foundations of Computer Science . Springer Berlin Heidelberg: Springer.

Gaya MLA

Artemov, Sergei., Nerode, Anil. "Logical Foundations of Computer Science". Springer Berlin Heidelberg: Springer, 2013. E-Book.