Search Results
Showing 1 - 6 of 6 results
Search Results
A short introduction to intuitionistic logic
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.47 .M56 2000 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Problems of reducing the exhaustive search
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA3 .A572 SER. 2 VOL. 178 | ✔ Available |
 :/LC.GIF&client=easterncarolinaedu)
A short introduction to modal logic
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | BC199.M6 M55 1992 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)