A1-1. Начало

А1-2. Логика

A1-3. Логические методы

A1-4. Простейший формализм

А2-1. Исчисление предикатов

Одна задачка в чистом ИП

A2-2. Теория моделей

А2-3. Равенство

Уровень А. Итоги

В1-1. Арифметика Пеано

В1-2. Порядок

В1-3. Индукция

В1-4. Язык теории множеств

В1-5. Аксоиматика ZF

В2-1. Конструкты

В2-2. Интерпретация PA в ZF

В2-3. Язык математики vs Язык машины