Loading...
Computability Theory;Vol.62
| Hovedforfatter: | Weber,Rebecca |
|---|---|
| Format: | Printed Book |
| Udgivet: |
American mathematical society
|
| Fag: |
Lignende værker
-
Recursive functions.-3rd ed.
af: Peter, Rozsa
Udgivet: (1967) -
Recursively enumerable sets and degrees.
af: Soare, Robert J.
Udgivet: (1987) -
Recursion theory for metamathematics.
af: Smullyan, Raymond M.
Udgivet: (1993) -
Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
af: Fenstad,J.E.ed
Udgivet: (1974) -
Computability and logic /
af: Boolos, George S.
Udgivet: (2002)