Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Политика конфиденциальности | Согласие на обработку персональных данных
Яворская Т.Л. - Математическая логика. Часть 1 - 2. Интуиционистская логика высказываний
Яворская Т.Л. - Математическая логика. Часть 1 - 4. Логика предикатов
Яворская Т.Л. - Математическая логика - 1. Логика высказываний
Л.Д. Беклемишев. Беседы об основаниях математики. Беседа 1
Об истории обобщенных функций // Владимир Арнольд
Математическая логика. Лекция 1
Матлогика 1. Высказывания. Логические связки. Предикаты и кванторы
