Archiv für mathematische Logik und Grundlagenforschung, Tome 24 (1984), pp. 23-48
Citer cet article
Werner Mellis. PA-beweisbare ...-Formeln.. Archiv für mathematische Logik und Grundlagenforschung, Tome 24 (1984), pp. 23-48. http://geodesic.mathdoc.fr/item/AMLG_1984__24_138021/
@article{AMLG_1984__24_138021,
author = {Werner Mellis},
title = {PA-beweisbare {...-Formeln.}},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
pages = {23--48},
year = {1984},
volume = {24},
url = {http://geodesic.mathdoc.fr/item/AMLG_1984__24_138021/}
}
TY - JOUR
AU - Werner Mellis
TI - PA-beweisbare ...-Formeln.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1984
SP - 23
EP - 48
VL - 24
UR - http://geodesic.mathdoc.fr/item/AMLG_1984__24_138021/
ID - AMLG_1984__24_138021
ER -
%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
%U http://geodesic.mathdoc.fr/item/AMLG_1984__24_138021/
%F AMLG_1984__24_138021
