PA-beweisbare ...-Formeln.
Archiv für mathematische Logik und Grundlagenforschung (1984)
- Volume: 24, page 23-48
- ISSN: 0003-9268
Access Full Article
topHow to cite
topMellis, Werner. "PA-beweisbare ...-Formeln.." Archiv für mathematische Logik und Grundlagenforschung 24 (1984): 23-48. <http://eudml.org/doc/138021>.
@article{Mellis1984,
author = {Mellis, Werner},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
pages = {23-48},
title = {PA-beweisbare ...-Formeln.},
url = {http://eudml.org/doc/138021},
volume = {24},
year = {1984},
}
TY - JOUR
AU - Mellis, Werner
TI - PA-beweisbare ...-Formeln.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1984
VL - 24
SP - 23
EP - 48
UR - http://eudml.org/doc/138021
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.