Загрузка...
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)