Lanean...
Computability Theory;Vol.62
| Egile nagusia: | Weber,Rebecca |
|---|---|
| Formatua: | Printed Book |
| Argitaratua: |
American mathematical society
|
| Gaiak: |
Antzeko izenburuak
-
Recursive functions.-3rd ed.
nork: Peter, Rozsa
Argitaratua: (1967) -
Recursively enumerable sets and degrees.
nork: Soare, Robert J.
Argitaratua: (1987) -
Recursion theory for metamathematics.
nork: Smullyan, Raymond M.
Argitaratua: (1993) -
Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
nork: Fenstad,J.E.ed
Argitaratua: (1974) -
Computability and logic /
nork: Boolos, George S.
Argitaratua: (2002)