Математическая логика и теория алгоритмов 13. Теоремы Гёделя о неполноте

Математическая логика и теория алгоритмов 13. Бета-функция Геделя.Подробнее

Математическая логика и теория алгоритмов 12. Аксиомы Пеано. Теорема Гёделя о неполнотеПодробнее

Математическая логика и теория алгоритмов 7. Теорема о полноте исчисления высказыванийПодробнее

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теория алгоритмовПодробнее

1.7.Математическая логика в своем блеске и великолепии.Математическая логика и теория алгоритмов.Подробнее

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теория множеств ЦермелоПодробнее