Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Математическая логика, часть II
5. Исчисление высказываний гильбертовского типа
Предыдущая страница
Следующая страница
Table of contents
Предисловие
4. Секвенциальное исчисление предикатов (ИПС)
+
5. Исчисление высказываний гильбертовского типа
6. Теория алгоритмов
+
7. Неразрешимость арифметики и теорема Гёделя о неполноте
+
Список литературы
Предметный указатель
Данный блок поддерживает скрол*