ロード中...
Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
| 第一著者: | Kleene, Stephen Cole |
|---|---|
| その他の著者: | Barwise, Jon, Keisler, H. Jerome, Kunen, Kenneth |
| フォーマット: | Printed Book |
| 言語: | English |
| 出版事項: |
Amsterdam ; New York : New York :
North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland,
1980.
|
| 主題: |
類似資料
-
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977 /
出版事項: (1977) -
Diagonalization and self-reference.
著者:: Smullyan, Raymond M.
出版事項: (1996) -
Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
著者:: Fenstad,J.E.ed
出版事項: (1974) -
Recursion theory for metamathematics.
著者:: Smullyan, Raymond M.
出版事項: (1993) -
Symposium on Anomalies, Geometry, Topology /
出版事項: (1985)