Smullyan Raymond M. (EN) — Recursion Theory for Metamathematics
Тут можно читать онлайн книгу Smullyan Raymond M. (EN) - Recursion Theory for Metamathematics - бесплатно полную версию (целиком). Жанр книги: Иностранная литература. Вы можете прочесть полную версию (весь текст) онлайн без регистрации и смс на сайте Lib-King.Ru (Либ-Кинг) или прочитать краткое содержание, аннотацию (предисловие), описание и ознакомиться с отзывами (комментариями) о произведении.
Recursion Theory for Metamathematics краткое содержание
Recursion Theory for Metamathematics - описание и краткое содержание, автор Smullyan Raymond M. (EN), читать бесплатно онлайн на сайте электронной библиотеки Lib-King.Ru.
This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.
Recursion Theory for Metamathematics - читать онлайн бесплатно полную версию (весь текст целиком)
Recursion Theory for Metamathematics - читать книгу онлайн бесплатно, автор Smullyan Raymond M. (EN)
Похожие книги на "Recursion Theory for Metamathematics", Smullyan Raymond M. (EN)
Оставить отзыв
- Фантастика и Фэнтези
- Детективы и Триллеры
- Проза
- Любовные романы
- Приключения
- Детские
- Поэзия и драматургия
- Старинная литература
- Научно-образовательная
- Компьютеры и Интернет
- Справочная литература
- Документальная литература
- Религия и духовность
- Юмор
- Дом и Семья
- Деловая литература
- Жанр не определен
- Техника
- Прочее
- Драматургия
- Фольклор
- Военное дело