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. |
Խորագրեր: | |
Առցանց հասանելիություն: | 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)