Artemov. (2013). Logical Foundations of Computer Science (1.). Springer Berlin Heidelberg.
Lua i Stíl Chicago (17ú heag.)Artemov. Logical Foundations of Computer Science. 1. Springer Berlin Heidelberg, 2013.
Lua MLA (8ú heag.)Artemov. Logical Foundations of Computer Science. 1. Springer Berlin Heidelberg, 2013.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.