Формальный вывод и логичечкие исчиления

Библиографические подробности
Главный автор: Смирнов В.А
Соавтор: АН СССР Ин-т философии
Формат:
Язык:Undetermined
Опубликовано: М Наука 1972