ТФСиА 2 Связь семантики и синтаксиса, Лемма Кальмара

00:00:00 Введение 00:05:03 Леммы 1, 2 (о выводимости из противоречия и B |- A--B) 00:10:48 Теорема дедукции 00:27:18 Связь семантики и синтаксиса 0...