Чень Ч., Л. Р. (1983). Математическая логика и автоматическое доказательство теорем. Наука.
Цитирование в стиле Чикаго (17-е изд.)Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. М: Наука, 1983.
Цитирование MLA (8-е изд.)Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. Наука, 1983.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.