Search Results
Showing 1 - 7 of 7 results
Search Results
Mathematical logic and its applications
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.A1 A38 1986 | ✔ Available |
Collected works
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9 .G5313 1986 V.1 | ✔ Available |
| Joyner - General Stacks | QA9 .G5313 1986 V.2 | ✔ Available |
On formally undecidable propositions of Principia mathematica and related systems
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA248 .G573X 1962 | ✔ Available |
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9 .G54 | ✔ Available |