تحميل...
Recursion theory for metamathematics.
| المؤلف الرئيسي: | Smullyan, Raymond M. |
|---|---|
| التنسيق: | Printed Book |
| اللغة: | English |
| منشور في: |
New York:
Oxford University Press,
1993.
|
| الموضوعات: |
مواد مشابهة
-
Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
بواسطة: Fenstad,J.E.ed
منشور في: (1974) -
Recursion sequences
بواسطة: Markushevich, A.I.ed
منشور في: (1975) -
Recursion sequences
بواسطة: Markushevich
منشور في: (1975) -
Recursive functions.-3rd ed.
بواسطة: Peter, Rozsa
منشور في: (1967) -
Recursively enumerable sets and degrees.
بواسطة: Soare, Robert J.
منشور في: (1987)