Лекция 4. Логика предикатов
Лекция из курса:
Предыдущая лекция

3
Лекция 3. Свойства интуиционистской логики
01:06:37
Следующая лекция

5
Лекция 5. Теорема Гёделя о полноте логики первого порядка
00:57:42