О пропозициональных исчислениях, представляющих понятие доказуемости

Содержание
Введение
Глава 1. Интуиционистская логика доказательств
1.1. Язык.
1.2. Логика Р
1.3. Семантика Крипке.
1.4. Арифметическая семантика
Глава 2. Позитивный фрагмент нолимодальной логики доказуемости .
2.1. Позитивный фрагмент системы СЬР
2.2. Семантика Крипке для СВР ь.
2.3. Случай одной модальности.
2.4. Сложность фрагмента СЬР.
Литература