Recursion theory for metamathematics
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Bok |
| Publicerad: |
New York
Oxford University Press
1993.
|
| Serie: | Oxford logic guides
22 |
| Ämnen: |
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Bok |
| Publicerad: |
New York
Oxford University Press
1993.
|
| Serie: | Oxford logic guides
22 |
| Ämnen: |