@book{30642,
	author = {Чень, Ч. and Ли, Р.},
	title = {Математическая логика и автоматическое доказательство теорем},
	publisher = {Наука},
	year = {1983},
	series = {Математическая логика и основания математики},
	address = {Москва},
	note = {Пер. изд.: Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee (New-York, etc., 1973)}
}