Cambridge University Press · Springer
Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
---|---|---|---|---|
Higher-Order Computability | 978-3-662-47991-9 | 2015 | John Longley | |
Logic Colloquium 2005 | 978-0-521-88425-9 | 2007 | Costas Dimitracopoulos · Ludomir Newelski · John R. Steel | |
Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings | 978-3-642-21874-3 | 2011 | Benedikt Löwe · Ivan Soskov · Alexandra Soskova | |
Recursion on the Countable Functionals | 978-3-540-10019-5 | 2009 | ||
Recursion on the countable functionals | 978-0-387-10019-7 | 1980 |