Ernst P. Specker. The axiom of choice in Quine's New foundations for mathematical logic. Proceedings of the National Academy of Sciences of the United States of America, vol. 39 (1953), pp. 972–975.
| Publication | Article in Journal of Symbolic Logic, published June 1954 |
|---|---|
| Authors | J. Barkley Rosser |
This is the public page for a publication record in Dimensions, a free research insights platform that brings together information about funding, scholarly outputs, policy, patents and grants.
Loading metrics…