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