APA-referens (7:e uppl.)
Захарьящев М. В. Математическая логика в программировании: Математическая логика в программировании. NCFU.
Chicago-referens (17:e uppl.)Захарьящев М. В. Математическая логика в программировании: Математическая логика в программировании. NCFU.
MLA-referens (8:e uppl.)Захарьящев М. В. Математическая логика в программировании: Математическая логика в программировании. NCFU.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.