Citazione Stile APA (7a Edizione)
(1983). Matematičeskaja logika i avtomatičeskoje dokazatel'stvo teore. Nauka.
Citazione stile Chigago Style (17a edizione)
Matematičeskaja Logika I Avtomatičeskoje Dokazatel'stvo Teore. Moskva: Nauka, 1983.
Citatione MLA (9a ed.)
Matematičeskaja Logika I Avtomatičeskoje Dokazatel'stvo Teore. Nauka, 1983.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.