Recursion theory : computational aspects of definability /
Enregistré dans:
Auteurs principaux: | Chong, C.-T. (Chi-Tat), 1949- (Auteur), Yu, Liang (Auteur) |
---|---|
Format: | Électronique eBook |
Langue: | anglais |
Publié: |
Berlin, [Germany] ; Boston, [Massachusetts] :
De Gruyter,
2015.
|
Collection: | De Gruyter series in logic and its applications ;
Volume 8. |
Sujets: | |
Accès en ligne: | An electronic book accessible through the World Wide Web; click to view |
Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
-
Recursion theory : computational aspects of definability /
par: Chong, C.-T. (Chi-Tat), 1949-, et autres
Publié: (2015) -
Recursion theory for metamathematics
par: Smullyan, Raymond M.
Publié: (1993) -
Recursion theory for metamathematics
par: Smullyan, Raymond M.
Publié: (1993) -
Computational prospects of infinity
Publié: (2008) -
Computational prospects of infinity
Publié: (2008)