Recursion theory : computational aspects of definability /
Gespeichert in:
Hauptverfasser: | Chong, C.-T. (Chi-Tat), 1949- (VerfasserIn), Yu, Liang (VerfasserIn) |
---|---|
Format: | Elektronisch E-Book |
Sprache: | Englisch |
Veröffentlicht: |
Berlin, [Germany] ; Boston, [Massachusetts] :
De Gruyter,
2015.
|
Schriftenreihe: | De Gruyter series in logic and its applications ;
Volume 8. |
Schlagworte: | |
Online-Zugang: | An electronic book accessible through the World Wide Web; click to view |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Ähnliche Einträge
-
Recursion theory : computational aspects of definability /
von: Chong, C.-T. (Chi-Tat), 1949-, et al.
Veröffentlicht: (2015) -
Recursion theory for metamathematics
von: Smullyan, Raymond M.
Veröffentlicht: (1993) -
Recursion theory for metamathematics
von: Smullyan, Raymond M.
Veröffentlicht: (1993) -
Computational prospects of infinity
Veröffentlicht: (2008) -
Computational prospects of infinity
Veröffentlicht: (2008)