Выразительные возможности языков математической логики

Лектор: Владимир Андреевич Успенский. Тема: Выразительные возможности языков математической логики.