Введение
Глава 1. Логическая природа альтернативных величин 8
1.1. История выразительных возможностей языка математической (символической) логики 8
1.2. Свойства альтернативных величин 27
1.3. Понятие альтернативной величины в логике 46
1.4. Методы использования альтернативных величин в логике 53
Глава 2. Способы арифметизации языка современной логики 60
2.1. Базис арифметизированной логики 60
2.2. Расширение выразительных возможностей логики высказываний 110
2.3. Расширение выразительных возможностей логики предикатов 117
2.4. Порождающие схемы арифметизированной логики 124
Заключение 139
Библиография 146
