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