Einführung in die angewandte Logik () || Sachverzeichnis
- 作者Bucher, Theodor G.
- 文件大小721.45KB
- 发表时间1998
- DOI10.1515/9783110812787.524
On Downey's conjectureArslanov, Marat M.; Kalimullin, Iskander Sh.; Lempp, Steffen · The Journal of Symbolic Logic · 2010
Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || FrontmatterArslanov, Marat M.; Lempp, Steffen · 1999
Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || PrefaceArslanov, Marat M.; Lempp, Steffen · 1999
Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Open problemsArslanov, Marat M.; Lempp, Steffen · 1999
Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || List of contributorsArslanov, Marat M.; Lempp, Steffen · 1999
Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Algebras of recursive functionsArslanov, Marat M.; Lempp, Steffen · 1999
Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Hyperarithmetical functions and algebraicityArslanov, Marat M.; Lempp, Steffen · 1999