С.О. Сперанский. Диагонализация в арифметике и теория истины по Крипке. Семинар 2

Whole-channel inclusion: МЦМУ МИАН (title sample: This is the Steklov Mathematical Institute's lecture archive, consisting almost entirely of full-length advanced mathematics lectures and seminars by researchers, a textbook case of genuine educational content.; 2 of 3 sampled transcripts read as real teaching); this title passed a strict title check.