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

Bibliographic Details
Main Author: Смирнов В.А
Corporate Author: АН СССР Ин-т философии
Format: Book
Language:Undetermined
Published: М Наука 1972