Publié le : 1971-03-14
Classification:
02G05,
02F27
@article{1183532810,
author = {Ehrenfeucht, Andrzej and Mycielski, Jan},
title = {Abbreviating proofs by adding new axioms},
journal = {Bull. Amer. Math. Soc.},
volume = {77},
number = {6},
year = {1971},
pages = { 366-367},
language = {en},
url = {http://dml.mathdoc.fr/item/1183532810}
}
Ehrenfeucht, Andrzej; Mycielski, Jan. Abbreviating proofs by adding new axioms. Bull. Amer. Math. Soc., Tome 77 (1971) no. 6, pp. 366-367. http://gdmltest.u-ga.fr/item/1183532810/