Degrees of unsolvability
Material type: TextLanguage: English Series: Annals of mathematics studies, 55Publication details: Princeton University Press, Princeton, New Jersey 1963 Description: ix, 174pSubject(s): Recursive functions | Unsolvability (Mathematical logic)DDC classification: 511.3 SAC(DEG)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 511.3 SAC(DEG) (Browse shelf(Opens below)) | 1 | Available | G/0192 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
511.3 MOR(THE) The theory of computation | 511.3 NED(TYP) Type theory and formal proof : an introduction | 511.3 RIC(AUT) Automata, computability and complexity : theory and applications | 511.3 SAC(DEG) Degrees of unsolvability | 511.3 SCH(USE) The use of ultraproducts in commutative algebra | 511.3 SIE(BUC) Buchis Monadic second order successor arithmetic | 511.3 SIM(SUB) Subsystems of second order arithmetic |
There are no comments on this title.