Some Applications of Gentzens Second Consistency Proof.
SCARPELLINI, B.
Mathematische Annalen, Tome 180 (1969), p. 325-344 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1969-01-01
EUDML-ID : urn:eudml:doc:161842 
@article{GDZPPN002301210,
     title = {Some Applications of Gentzens Second Consistency Proof.},
     journal = {Mathematische Annalen},
     volume = {180},
     year = {1969},
     pages = {325-344},
     zbl = {0184.01202},
     url = {http://dml.mathdoc.fr/item/GDZPPN002301210}
}

SCARPELLINI, B. Some Applications of Gentzens Second Consistency Proof.. Mathematische Annalen, Tome 180 (1969) pp. 325-344. http://gdmltest.u-ga.fr/item/GDZPPN002301210/