ロード中...
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)