@article{MAN_1969__181_161842,
     author = {B. SCARPELLINI},
     title = {Some {Applications} of {Gentzens} {Second} {Consistency} {Proof.}},
     journal = {Mathematische Annalen},
     pages = {325--344},
     publisher = {mathdoc},
     volume = {181},
     year = {1969},
     zbl = {0184.01202},
     url = {http://geodesic.mathdoc.fr/item/MAN_1969__181_161842/}
}