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

  • 09.00.00 Философия

Ин-т философии АН СССР, Москва

271 стр.