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