ВА594172
Смирнов, Владимир Александрович
.
Теория логического вывода [Текст] / В. А. Смирнов. - М. : Российская политическая энциклопедия (РОССПЭН), 1999. - 318 с. - Библиогр.: с. 305-314.
Тематичний рубрикатор:
Формалізація
Комбінаторна логіка
Видання зберігається у :
Основний фонд