APA Баримт

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

Чикаго маягийн жагсаалт

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

MLA ишлэл

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

Warning: These citations may not always be 100% accurate.