Search Results
Showing 1 - 7 of 7 results
Search Results
On formally undecidable propositions of Principia mathematica and related systems
Joyner Library
- General Stacks
Call Number:
QA248 .G573X 1962
Mathematical logic and its applications
Joyner Library
- General Stacks
Call Number:
QA9.A1 A38 1986
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
Joyner Library
- General Stacks
Call Number:
QA9 .G54