Recursion theory : computational aspects of definability /
Uloženo v:
Hlavní autoři: | Chong, C.-T. (Chi-Tat), 1949- (Autor), Yu, Liang (Autor) |
---|---|
Médium: | Elektronický zdroj E-kniha |
Jazyk: | angličtina |
Vydáno: |
Berlin, [Germany] ; Boston, [Massachusetts] :
De Gruyter,
2015.
|
Edice: | De Gruyter series in logic and its applications ;
Volume 8. |
Témata: | |
On-line přístup: | An electronic book accessible through the World Wide Web; click to view |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
-
Recursion theory : computational aspects of definability /
Autor: Chong, C.-T. (Chi-Tat), 1949-, a další
Vydáno: (2015) -
Recursion theory for metamathematics
Autor: Smullyan, Raymond M.
Vydáno: (1993) -
Recursion theory for metamathematics
Autor: Smullyan, Raymond M.
Vydáno: (1993) -
Computational prospects of infinity
Vydáno: (2008) -
Computational prospects of infinity
Vydáno: (2008)