Раздел 2 / 13

Страница 1 / 2

Предисловие к первому изданию

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется Регистрация

На предыдущую главу

На следующую главу

Скачать приложение

Математическая логика

Оглавление

Предисловие к шестому изданию

Предисловие к первому изданию

Введение

Глава 1. Исчисление высказываний

Глава 2. Теория множеств

Глава 3. Истинность на алгебраических системах

Глава 4. Исчисление предикатов

Глава 5. Теория моделей

Глава 6. Теория доказательств

Глава 7. Вычислимость

Глава 8. Разрешимые и неразрешимые теории

Предметный указатель

Указатель обозначений