Recursion theory for metemathematics/
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
New York:
Oxford University Press,
1993
|
| Σειρά: | Oxford Logic Guides ;
22 |
| Θέματα: |
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
New York:
Oxford University Press,
1993
|
| Σειρά: | Oxford Logic Guides ;
22 |
| Θέματα: |