Dag Normann1947BooksLogic Colloquium 2005Logic Colloquium 2005Recursion on the countable functionalsAuthor data: Open Library