ロード中...
Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
| 第一著者: | Fenstad,J.E.ed |
|---|---|
| その他の著者: | Fenstad, Jens Erik, Gandy, R. O., Sacks, Gerald E. |
| フォーマット: | Printed Book |
| 言語: | English |
| 出版事項: |
Amsterdam ; New York : New York :
North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland,
1974.
|
| 主題: |
類似資料
-
Recursion theory for metamathematics.
著者:: Smullyan, Raymond M.
出版事項: (1993) -
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)