Логика и метаматематические исследования

На этом канале будут выкладываться основные фрагменты теоретического курса «Логика и метаматематика», включающие текстовые формулировки базовых тезисов и определений, а также видеоматериалы с одноименного YouTube-канала.