Стиль цитування APA (7-ме видання)
Захарьящев М. В. Математическая логика в программировании: Математическая логика в программировании. NCFU.
Чикаго стиль цитування (17-те видання)Захарьящев М. В. Математическая логика в программировании: Математическая логика в программировании. NCFU.
Стиль цитування MLA (8-ме видання)Захарьящев М. В. Математическая логика в программировании: Математическая логика в программировании. NCFU.
Попередження: стилі цитування не завжди правильні на всі 100%.