Recursion theory for metamathematics
| Prif Awdur: | |
|---|---|
| Fformat: | Llyfr |
| Cyhoeddwyd: |
New York
Oxford University Press
1993.
|
| Cyfres: | Oxford logic guides
22 |
| Pynciau: |
| Prif Awdur: | |
|---|---|
| Fformat: | Llyfr |
| Cyhoeddwyd: |
New York
Oxford University Press
1993.
|
| Cyfres: | Oxford logic guides
22 |
| Pynciau: |