%0 Journal Article
%A Werner Mellis
%T PA-beweisbare ...-Formeln.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1984
%P 23-48
%V 24
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1984__24_138021/
%F AMLG_1984__24_138021