Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Математическая логика
Глава 6. Теория доказательств
/
/
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
Предисловие к шестому изданию
Предисловие к первому изданию
Введение
Глава 1. Исчисление высказываний
Глава 2. Теория множеств
Глава 3. Истинность на алгебраических системах
Глава 4. Исчисление предикатов
Глава 5. Теория моделей
Глава 6. Теория доказательств
Глава 7. Вычислимость
Глава 8. Разрешимые и неразрешимые теории
Предметный указатель
Указатель обозначений
Данный блок поддерживает скрол*