Recursion theory for metamathematics
| Hoofdauteur: | |
|---|---|
| Formaat: | Boek |
| Gepubliceerd in: |
New York
Oxford University Press
1993.
|
| Reeks: | Oxford logic guides
22 |
| Onderwerpen: |
| Hoofdauteur: | |
|---|---|
| Formaat: | Boek |
| Gepubliceerd in: |
New York
Oxford University Press
1993.
|
| Reeks: | Oxford logic guides
22 |
| Onderwerpen: |