Исчисление полиномов, импликационная полнота. PC, PCR, моделирование резолюции, поиск доказательств, связь степени и числа мономов в доказательтве.

Системы Фреге, игры Пудлака-Басса. Доказательство эквивалентности систем (обычных и древовидных) Фреге и игр. Системы Фреге ограниченной глубины.

Текущая версия конспекта тут: https://logic.pdmi.ras.ru/~dmitrits/nsu/pc.pdf