Yüklüyor......
Recursion theory for metamathematics.
| Yazar: | Smullyan, Raymond M. |
|---|---|
| Materyal Türü: | Printed Book |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
New York:
Oxford University Press,
1993.
|
| Konular: |
Benzer Materyaller
-
Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
Yazar:: Fenstad,J.E.ed
Baskı/Yayın Bilgisi: (1974) -
Recursion sequences
Yazar:: Markushevich, A.I.ed
Baskı/Yayın Bilgisi: (1975) -
Recursion sequences
Yazar:: Markushevich
Baskı/Yayın Bilgisi: (1975) -
Recursive functions.-3rd ed.
Yazar:: Peter, Rozsa
Baskı/Yayın Bilgisi: (1967) -
Recursively enumerable sets and degrees.
Yazar:: Soare, Robert J.
Baskı/Yayın Bilgisi: (1987)