PA-beweisbare ...-Formeln. Werner Mellis — 1984 Archiv für mathematische Logik und Grundlagenforschung