Media type: Book Title: Subrecursion : functions and hierarchies Contains: Literaturverz. S. [183] - 186 Contributor: Rose, H.E. [Author]; Rose, H. E. [Other] imprint: Oxford: Clarendon Press, 1984 Published in: Oxford logic guides ; 900 Oxford science publications Extent: XIII, 189 S Language: English; German ISBN: 0198531893 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Recursion theory Hierarchies ; Recursive functions Origination: Footnote: Literaturverz. S. [183] - 186
Central Library – stack Shelf-mark: 2018 8 003090 Item ID: 34643569 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.