Математика и математические науки. Логика
Чень Ч. Математическая логика и автоматическое доказательство теорем
![R %d0%a7%d0%b5%d0%bd%d1%8c %d0%9b%d0%b8 %d0%9c%d0%b0%d1%82%d0%b5%d0%bc%d0%b0%d1%82%d0%b8%d1%87%d0%b5%d1%81%d0%ba%d0%b0%d1%8f %d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0 %d0%b8 %d0%b0%d0%b2%d1%82%d0%be%d0%bc%d0%b0%d1%82%d0%b8%d1%87%d0%b5%d1%81%d0%ba%d0%b5%d0%be %d0%b4%d0%be%d0%ba%d0%b0%d0%b7%d0%b0%d1%82%d0%b5%d0%bb%d1%8c%d1%81%d1%82%d0%b2%d0%be %d1%82%d0%b5%d0%be%d1%80%d0%b5%d0%bc 1](/system/resources/images/000/000/500/medium/R_%D0%A7%D0%B5%D0%BD%D1%8C__%D0%9B%D0%B8_%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_%D0%B8_%D0%B0%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B5%D0%BE_%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D1%81%D1%82%D0%B2%D0%BE_%D1%82%D0%B5%D0%BE%D1%80%D0%B5%D0%BC_1.bmp?1480500551)
Чень Ч. Математическая логика и автоматическое доказательство теорем / Ч. Чень ; пер. с англ. Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной ; под ред. С. Ю. Маслова. – М. : Наука, 1983. – 360 с. – (Математическая логика и основания математики). – Пар. тит. англ.
Только авторизованные читатели могут просмотреть файл