Чень Ч, Ли Р, Давыдов Г. В., Минец Е. Г., Сочилиная А. В., & Маслов С. Ю. (1983). Математическая логика и автоматическое доказательство теорем: пер. с англ. Москва, Наука, 1983.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Чень Ч, Ли Р, Давыдов Г. В., Минец Е. Г., Сочилиная А. В., và Маслов С. Ю. Математическая логика и автоматическое доказательство теорем: пер. с англ. Москва, Наука, 1983, 1983.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Чень Ч, et al. Математическая логика и автоматическое доказательство теорем: пер. с англ. Москва, Наука, 1983, 1983.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.