Search Results
Showing 1 - 10 of 181 results
Search Results
Studies in constructive mathematics and mathematical logic
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9 .I813 V.1 | ✔ Available |
| Joyner - General Stacks | QA9 .I813 V.3 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Varieties of constructive mathematics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.56 .B75 1987 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Essays in constructive mathematics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.56 .E39 2005 | ✔ Available |
 :/LC.GIF&client=easterncarolinaedu)
Fine structure and iteration trees
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.56 .M58 1994 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Constructive functional analysis
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA320 .B74 | ✔ Available |
Stochastic automata; constructive theory
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA267.5.S4 L6513 | ✔ Available |
