Книга
13 689

Смирнов, Владимир Александрович.
Формальный вывод и логические исчисления / В. А. Смирнов; отв. ред.: П. В. Таванец; АН СССР, Ин-т философии. – М. : Наука, 1972. – 271 с. : табл.
Библиогр.: с.267-268 (59 назв.).

ББК Ю412
ББК Ю433

Предметні рубрики = Іменні фонди : іменний фонд Уйомова
Предметні рубрики = Логика : дедукция, дедуктивная логика, теория дедуктивных умозаключений : логика предикатов, квантификация
Предметні рубрики = Логика : логический синтаксис и семантика, семиотика : исчисление

0593549 Ф 1 - 10 комн.
н913883 ОФ
0910181 ОФ
1604859 ОФ
1648174 Ф 1 - 10 комн.
1396090 Ф 1 - 10 комн.