Recursion theory for metamathematics
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | LEABHAR |
| Foilsithe / Cruthaithe: |
New York
Oxford University Press
1993.
|
| Sraith: | Oxford logic guides
22 |
| Ábhair: |
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | LEABHAR |
| Foilsithe / Cruthaithe: |
New York
Oxford University Press
1993.
|
| Sraith: | Oxford logic guides
22 |
| Ábhair: |