Recursion theory for metamathematics
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | पुस्तक |
| प्रकाशित: |
New York
Oxford University Press
1993.
|
| श्रृंखला: | Oxford logic guides
22 |
| विषय: |
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | पुस्तक |
| प्रकाशित: |
New York
Oxford University Press
1993.
|
| श्रृंखला: | Oxford logic guides
22 |
| विषय: |