Abbreviating proofs by adding new axioms
HTML articles powered by AMS MathViewer
- by Andrzej Ehrenfeucht and Jan Mycielski PDF
- Bull. Amer. Math. Soc. 77 (1971), 366-367
References
Additional Information
- Journal: Bull. Amer. Math. Soc. 77 (1971), 366-367
- MSC (1970): Primary 02G05, 02F27
- DOI: https://doi.org/10.1090/S0002-9904-1971-12696-4
- MathSciNet review: 0276090