Search Results
Showing 1 - 10 of 30 results
Search Results
Subsystems of second order arithmetic
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.7 .S537 1999 | ✔ Available |
Existence and the particular quantifier
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | BC57 .O73 | ✔ Available |
The place of syllogistic in logical theory
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | BC185 .C53 | ✔ Available |
The logic of significance and context
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | BC199.S5 G6 | ✔ Available |
Completeness, compactness, and undecidability
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9 .M294 | ✔ Available |