Recursion theory for metamathematics
| Yazar: | |
|---|---|
| Materyal Türü: | Kitap |
| Baskı/Yayın Bilgisi: |
New York
Oxford University Press
1993.
|
| Seri Bilgileri: | Oxford logic guides
22 |
| Konular: |
| Yazar: | |
|---|---|
| Materyal Türü: | Kitap |
| Baskı/Yayın Bilgisi: |
New York
Oxford University Press
1993.
|
| Seri Bilgileri: | Oxford logic guides
22 |
| Konular: |