Recursion theory : computational aspects of definability /
Сохранить в:
Главные авторы: | Chong, C.-T. (Chi-Tat), 1949- (Автор), Yu, Liang (Автор) |
---|---|
Формат: | Электронный ресурс eКнига |
Язык: | английский |
Опубликовано: |
Berlin, [Germany] ; Boston, [Massachusetts] :
De Gruyter,
2015.
|
Серии: | De Gruyter series in logic and its applications ;
Volume 8. |
Предметы: | |
Online-ссылка: | An electronic book accessible through the World Wide Web; click to view |
Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
-
Recursion theory : computational aspects of definability /
по: Chong, C.-T. (Chi-Tat), 1949-, и др.
Опубликовано: (2015) -
Recursion theory for metamathematics
по: Smullyan, Raymond M.
Опубликовано: (1993) -
Recursion theory for metamathematics
по: Smullyan, Raymond M.
Опубликовано: (1993) -
Computational prospects of infinity
Опубликовано: (2008) -
Computational prospects of infinity
Опубликовано: (2008)