Abbreviating proofs by adding new axioms
Open Access
- 1 January 1971
- journal article
- Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
- Vol. 77 (3), 366-367
- https://doi.org/10.1090/s0002-9904-1971-12696-4