Search Results
Showing 1 - 10 of 63 results
Search Results
Techniques of admissible recursion theory
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA3 .L28 NO. 1106 | ✔ Available |
Computability, enumerability, unsolvability
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.6 .C66 1996 | ✔ Available |
Initial segments of degrees below 0'
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA3 .A57 NO. 241 | ✔ Available |
Recursion theory for metamathematics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.6.S68 1993 | ✔ Available |
Recursion-theoretic hierarchies
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.62 .H56 | ✔ Available |