טוען...
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)