Recursion theory : computational aspects of definability /
Bewaard in:
Hoofdauteurs: | Chong, C.-T. (Chi-Tat), 1949- (Auteur), Yu, Liang (Auteur) |
---|---|
Formaat: | Elektronisch E-boek |
Taal: | Engels |
Gepubliceerd in: |
Berlin, [Germany] ; Boston, [Massachusetts] :
De Gruyter,
2015.
|
Reeks: | De Gruyter series in logic and its applications ;
Volume 8. |
Onderwerpen: | |
Online toegang: | An electronic book accessible through the World Wide Web; click to view |
Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|
Gelijkaardige items
-
Recursion theory : computational aspects of definability /
door: Chong, C.-T. (Chi-Tat), 1949-, et al.
Gepubliceerd in: (2015) -
Recursion theory for metamathematics
door: Smullyan, Raymond M.
Gepubliceerd in: (1993) -
Recursion theory for metamathematics
door: Smullyan, Raymond M.
Gepubliceerd in: (1993) -
Computational prospects of infinity
Gepubliceerd in: (2008) -
Computational prospects of infinity
Gepubliceerd in: (2008)