Your search returned 2 results.

Results
	1.	Математическая логика и автоматическое доказательство теорем. (Мат. логика и основания математики) Чень Ч., Ли Р. by Чень Ч Ли Р Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: М. Наука 1983 Availability: Items available for loan: Institute of Mathematics (1)Call number: 510.6 Ч-43. Place hold Add to cart (remove)
	2.	Математическое логика и автоматическое доказательство теорем/ Ч. Чень, Р. Ли; пер. Г. В. Давыдов, Г. Е. Минц; ред. С.Ю. Маслов by Ч,ень, Ч Ли. Р Давыдов,Г. В [пер.] Минц, Г. Е [пер.] Маслов,С.Ю [ред.] Series: Математическая логика и основания математики Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва: Наука, 1983 Availability: Items available for loan: Institute for Informatics and Automation Problems (1)Call number: 51.01:16 Ч 38. Place hold Add to cart (remove)

Refine your search