Recursion theory : computational aspects of definability /
I tiakina i:
Ngā kaituhi matua: | Chong, C.-T. (Chi-Tat), 1949- (Author), Yu, Liang (Author) |
---|---|
Hōputu: | Tāhiko īPukapuka |
Reo: | Ingarihi |
I whakaputaina: |
Berlin, [Germany] ; Boston, [Massachusetts] :
De Gruyter,
2015.
|
Rangatū: | De Gruyter series in logic and its applications ;
Volume 8. |
Ngā marau: | |
Urunga tuihono: | An electronic book accessible through the World Wide Web; click to view |
Ngā Tūtohu: |
Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
Ngā tūemi rite
-
Recursion theory : computational aspects of definability /
mā: Chong, C.-T. (Chi-Tat), 1949-, me ētahi atu.
I whakaputaina: (2015) -
Recursion theory for metamathematics
mā: Smullyan, Raymond M.
I whakaputaina: (1993) -
Recursion theory for metamathematics
mā: Smullyan, Raymond M.
I whakaputaina: (1993) -
Computational prospects of infinity
I whakaputaina: (2008) -
Computational prospects of infinity
I whakaputaina: (2008)