Φορτώνει......
Computability Theory;Vol.62
| Κύριος συγγραφέας: | Weber,Rebecca |
|---|---|
| Μορφή: | Printed Book |
| Έκδοση: |
American mathematical society
|
| Θέματα: |
Παρόμοια τεκμήρια
-
Recursive functions.-3rd ed.
ανά: Peter, Rozsa
Έκδοση: (1967) -
Recursively enumerable sets and degrees.
ανά: Soare, Robert J.
Έκδοση: (1987) -
Recursion theory for metamathematics.
ανά: Smullyan, Raymond M.
Έκδοση: (1993) -
Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
ανά: Fenstad,J.E.ed
Έκδοση: (1974) -
Computability and logic /
ανά: Boolos, George S.
Έκδοση: (2002)