Recursion theory for metamathematics
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Pubblicazione: |
New York
Oxford University Press
1993.
|
| Serie: | Oxford logic guides
22 |
| Soggetti: |
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Pubblicazione: |
New York
Oxford University Press
1993.
|
| Serie: | Oxford logic guides
22 |
| Soggetti: |