Математика и математические науки. Логика

Чень Ч. Математическая логика и автоматическое доказательство теорем

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

Чень Ч. Математическая логика и автоматическое доказательство теорем / Ч. Чень ; пер. с англ. Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной ; под ред. С. Ю. Маслова. – М. : Наука, 1983. – 360 с. – (Математическая логика и основания математики). – Пар. тит. англ.

Только авторизованные читатели могут просмотреть файл