@article{GDZPPN002045702, title = {PA-beweisbare ...-Formeln.}, journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung}, volume = {24}, year = {1984}, pages = {23-48}, url = {http://dml.mathdoc.fr/item/GDZPPN002045702} }
Mellis, Werner. PA-beweisbare ...-Formeln.. Archiv für mathematische Logik und Grundlagenforschung, Tome 24 (1984) pp. 23-48. http://gdmltest.u-ga.fr/item/GDZPPN002045702/