Search Results
Showing 1 - 10 of 25 results
Search Results
/LC.GIF&client=easterncarolinaedu)
Relations and Kleene algebra in computer science
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA10 .I627 2006 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Two papers on the predicate calculus
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA3 .A57 NO. 10 | ✔ Available |
Formalized recursive functionals and formalized realizability
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA3 .A57 NO. 89 | ✔ Available |
The foundations of intuitionistic mathematics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.K648 | ✔ Available |