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

Поставить закладку

Если Вы наш подписчик,то для того чтобы скопировать текст этой страницы в свой конспект,
используйте просмотр в виде pdf. Вам доступно 20 стр. из этой главы.

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

Предыдущая страница

Следующая страница

Предисловие

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

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

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

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

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

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

Данный блок поддерживает скрол*

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

Table of contents