Search Results
Showing 1 - 7 of 7 results
Search Results
Foundations of mathematical logic
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9 .C85 1977 | ✔ Available |
A theory of formal deducibility
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA1.N87 NO. 6 | ✔ Available |
Foundations of mathematical logic
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9 .C85 | ✔ Available |
Outlines of a formalist philosophy of mathematics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9 .C86X 1958 | ✔ Available |
Combinatory logic
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.5 .C87X V.1 | ✔ Available |
| Joyner - General Stacks | QA9.5 .C87X V.2 | ✔ Available |