|
Оглавление
 От редактора перевода Предисловие Объяснение соглашений Глава 1. Введение A. Природа математической логики B. Логические антиномии C. Природа математики D. Математика и логика S. Дополнительные вопросы Глава 2. Формальные системы A. Предварительные рассмотрения B. Теории C. Системы D. Специальные формы систем E. Алгорифмы S. Дополнительные вопросы Глава 3. Эпитеория A. Природа эпптеории B. Замена и монотонные отношения C. Теория определений D. Переменные S. Дополнительные вопросы Глава 4. Реляционная логическая алгебра A. Логические алгебры вообще B. Структуры C. Сколемовские структуры D. Классические сколемовские структуры S. Дополнительные вопросы Глава 5. Теория импликации A. Общие принципы ассерторической логической алгебры B. Алгебры высказываний C. Системы LA и LC D. Эквивалентность систем E. L-выводимость S. Дополнительные вопросы Глава 6. Отрицание A. Природа отрицания B. L-еистемы для отрицания C. Другие формулировки отрицания D. Техника классического отрицания S. Дополнительные вопросы Глава 7. Кванторы A. Предварительные формулировки B. Теория Ь*-систем C. Другие формы теории кванторов D. Классическая эпитеория S. Дополнительные вопросы Глава 8. Модальности A. Уточнение понятия необходимости B. L-теория необходимости C. Т- и Н-формулировки теории необходимости S. Дополнительные вопросы Библиография Указатель символов Указатель терминов Именной указатель |