Zwei Normalisierungstheoreme für die Peano-Arithmetik 1. Stufe und verwandte Kalküleby Werner MellisWriting a summary for young readers…For young readersBook data: Open Library