Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Политика конфиденциальности | Согласие на обработку персональных данных
А.П. Веселов. Река Конвея и парус Арнольда
Л.Д. Беклемишев. Модели и интерпретации. Лекция
ОСЕЧКИН: "Скоро! У Кремля обратный отсчёт до.." БЛЭКАУТ, кого берут силовики, мультивизы, ООН
От интуиционистской логики к логике задач (Анастасия Оноприенко)
Брауэр выдвигает 9 ультиматум НАУКЕ. Логика против Логики. ЭТО как?
Л.Д. Беклемишев. Беседы об основаниях математики. Беседа 2
Л.Д. Беклемишев. Ординалы и спектры консервативности арифметических теорий
