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