Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Политика конфиденциальности | Согласие на обработку персональных данных
Матлогика 7. Полнота исчисления высказываний (продолжение). Непротиворечивость и совместность.
Матлогика 5. Исчисление высказываний.
Матлогика 1. Теория формальных языков.
Впервые за 30 лет!.. / Пугающий прогноз ЦБ || Дмитрий Потапенко*
Яворская Т.Л. - Математическая логика. Часть 1 - 4. Логика предикатов
