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.