20200823: Лев Ламберов о работе П. Мартин-Лёфа “О значениях логических констант...“

Выступление Льва Ламберова о работе П. Мартин-Лёфа “О значениях логических констант и обоснованиях логических законов“ (Martin-Löf P. On the Meanings of Logical Constants and Justifications of Logical Laws) на заседании кружка аналитической философии 23 июля 2020 г.