Recursion theory : computational aspects of definability /
Αποθηκεύτηκε σε:
Κύριοι συγγραφείς: | Chong, C.-T. (Chi-Tat), 1949- (Συγγραφέας), Yu, Liang (Συγγραφέας) |
---|---|
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | Αγγλικά |
Έκδοση: |
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 |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
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)