Вид документа:

Книга

УДК:

510.6
Шифр: 510.6 С50
Смирнов В.А. Формальный вывод и логические исчисления / В.А. Смирнов. – АН СССР, Ин-т философии. – Москва : Наука, 1972. – 271 с. – 0,67


Статистика використання: Видач: 0