Zwei Normalisierungstheoreme für die Peano-Arithmetik 1. Stufe u. verwandte Kalküle - Mellis, Werner (1980)
Köln, Univ., Diss.