Recursion theory : computational aspects of definability /
Kaydedildi:
Asıl Yazarlar: | Chong, C.-T. (Chi-Tat), 1949- (Yazar), Yu, Liang (Yazar) |
---|---|
Materyal Türü: | Elektronik Ekitap |
Dil: | İngilizce |
Baskı/Yayın Bilgisi: |
Berlin, [Germany] ; Boston, [Massachusetts] :
De Gruyter,
2015.
|
Seri Bilgileri: | De Gruyter series in logic and its applications ;
Volume 8. |
Konular: | |
Online Erişim: | An electronic book accessible through the World Wide Web; click to view |
Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
Benzer Materyaller
-
Recursion theory : computational aspects of definability /
Yazar:: Chong, C.-T. (Chi-Tat), 1949-, ve diğerleri
Baskı/Yayın Bilgisi: (2015) -
Recursion theory for metamathematics
Yazar:: Smullyan, Raymond M.
Baskı/Yayın Bilgisi: (1993) -
Recursion theory for metamathematics
Yazar:: Smullyan, Raymond M.
Baskı/Yayın Bilgisi: (1993) -
Computational prospects of infinity
Baskı/Yayın Bilgisi: (2008) -
Computational prospects of infinity
Baskı/Yayın Bilgisi: (2008)