Recursion theory : computational aspects of definability /
Tallennettuna:
Päätekijät: | Chong, C.-T. (Chi-Tat), 1949- (Tekijä), Yu, Liang (Tekijä) |
---|---|
Aineistotyyppi: | Elektroninen E-kirja |
Kieli: | englanti |
Julkaistu: |
Berlin, [Germany] ; Boston, [Massachusetts] :
De Gruyter,
2015.
|
Sarja: | De Gruyter series in logic and its applications ;
Volume 8. |
Aiheet: | |
Linkit: | An electronic book accessible through the World Wide Web; click to view |
Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Samankaltaisia teoksia
-
Recursion theory : computational aspects of definability /
Tekijä: Chong, C.-T. (Chi-Tat), 1949-, et al.
Julkaistu: (2015) -
Recursion theory for metamathematics
Tekijä: Smullyan, Raymond M.
Julkaistu: (1993) -
Recursion theory for metamathematics
Tekijä: Smullyan, Raymond M.
Julkaistu: (1993) -
Computational prospects of infinity
Julkaistu: (2008) -
Computational prospects of infinity
Julkaistu: (2008)