Open Access
May 1971 Abbreviating proofs by adding new axioms
Andrzej Ehrenfeucht, Jan Mycielski
Bull. Amer. Math. Soc. 77(3): 366-367 (May 1971).
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.77 • No. 3 • May 1971
Back to Top