Search Results
Showing 1 - 10 of 59 results
Search Results
Computations in higher types
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA3 .L28 NO. 574 | ✔ Available |
Formalized recursive functionals and formalized realizability
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA3 .A57 NO. 89 | ✔ Available |
Recursive function theory
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA248.5 .S9 1961 | ✔ Available |
Algoritmy i rekursivnye funkt͡sii
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA266 .M27 | ✔ Available |
Super-recursive algorithms
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.615 .B87 2005 | ✔ Available |