APA (7th ed.) Citation

Чень Ч., Л. Р. (1983). Математическая логика и автоматическое доказательство теорем. Наука.

Chicago Style (17th ed.) Citation

Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. М: Наука, 1983.

MLA (8th ed.) Citation

Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. Наука, 1983.