Recursion theory for metamathematics
| Главный автор: | |
|---|---|
| Формат: | |
| Опубликовано: |
New York
Oxford University Press
1993.
|
| Серии: | Oxford logic guides
22 |
| Предметы: |
| Главный автор: | |
|---|---|
| Формат: | |
| Опубликовано: |
New York
Oxford University Press
1993.
|
| Серии: | Oxford logic guides
22 |
| Предметы: |