Abbreviating proofs by adding new axioms

Bulletin of the American Mathematical Society 1971 / 05 Vol. 77; Iss. 3

Abbreviating proofs by adding new axioms

Ehrenfeucht, Andrzej, Mycielski, Jan
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
77
Journal:
Bulletin of the American Mathematical Society
DOI:
10.1090/s0002-9904-1971-12696-4
Date:
May, 1971
File:
PDF, 158 KB
1971
Conversion to is in progress
Conversion to is failed