Media type: Book Title: Recursion theory for metamathematics Contributor: Smullyan, Raymond M. [Author] Published: New York; Oxford: Oxford University Press, 1993 Published in: Oxford logic guides ; 2200 Extent: XIV, 163 S; 25 cm Language: English ISBN: 019508232X RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung Keywords: Rekursionstheorie > Metamathematik Rekursionstheorie Origination: Footnote: Bibliography: p151-160. -Includes index
Central Library – stack Shelf-mark: R2017 8 16505 Item ID: 10342139 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.