Матлогика — экзамен#Готовые HTML-страницы (со своей вёрсткой и формулами). Открываются как есть.Часть I — Исчисление высказываний (1–10)Часть II — Мощности множеств (11–17)Части III–IV — Порядки, выбор, числа (18–26)Часть V — Логика предикатов и модели (27–35)Часть VI — Теория алгоритмов (36–42)