Recursion theory : computational aspects of definability /
Sparad:
Huvudupphovsmän: | Chong, C.-T. (Chi-Tat), 1949- (Författare, medförfattare), Yu, Liang (Författare, medförfattare) |
---|---|
Materialtyp: | Elektronisk E-bok |
Språk: | engelska |
Publicerad: |
Berlin, [Germany] ; Boston, [Massachusetts] :
De Gruyter,
2015.
|
Serie: | De Gruyter series in logic and its applications ;
Volume 8. |
Ämnen: | |
Länkar: | An electronic book accessible through the World Wide Web; click to view |
Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
- Beståndsuppgifter
- Beskrivning
- Kommentarer
- Andra versioner (1)
- Liknande verk
- Katalogiseringsuppgifter
Liknande verk
Solutions manual for recursive methods in economic dynamics
av: Irigoyen, Claudio
Publicerad: (2002)
av: Irigoyen, Claudio
Publicerad: (2002)
Liknande verk
-
Recursion theory : computational aspects of definability /
av: Chong, C.-T. (Chi-Tat), 1949-, et al.
Publicerad: (2015) -
Recursion theory for metamathematics
av: Smullyan, Raymond M.
Publicerad: (1993) -
Recursion theory for metamathematics
av: Smullyan, Raymond M.
Publicerad: (1993) -
Computational prospects of infinity
Publicerad: (2008) -
Computational prospects of infinity
Publicerad: (2008)