Recursion theory for metamathematics /
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 metamathem...
| Основен автор: | Smullyan, Raymond M. |
|---|---|
| Формат: | Електронна книга |
| Език: | English |
| Публикувано: |
New York :
Oxford University Press,
1993.
|
| Серия: |
Oxford logic guides ;
22. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=143571 |
| Подобни документи: |
Print version::
Recursion theory for metamathematics. |
| Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=143571 |
|---|
| Провери в Paniza Library, AUBG | Сигнатура: |
QA9.6 .S68 1993eb |
|---|