Л.Д. Беклемишев. Доказуемость и модальная логика. Занятие 1

Летняя школа «Современная математика», 2016 Другие лекции летней школы «Современная математика», г. Дубна:

Смотрите также