Электронный каталог - Electronic Catalogue

Книга
510.6 Ч-43

Чень, Ч.
Математическая логика и автоматическое доказательство теорем = Symbolic logic and mechanical theorem proving : пер. с англ. / Ч. Чень, Р. Ли ; пер. Г. В. Давыдов, Г. Е. Минц, А. В. Сочилина ; ред. С. Ю. Маслов . – М. : Наука, 1983 . – 360 с. – (Математическая логика и основания математики) . – На рус. яз.

510.6

Общий = Математическая логика
Коллекции = Математическая библиотека