Раздел 7 / 7

Страница 1 / 4

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

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

/

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

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

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

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

/

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

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

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

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

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

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

Оглавление

Предисловие

4. Секвенциальное исчисление предикатов (ИПС)+

5. Исчисление высказываний гильбертовского типа

6. Теория алгоритмов +

7. Неразрешимость арифметики и теорема Гёделя о неполноте +

Список литературы

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