Mellis, W. (1980). Zwei Normalisierungstheoreme für die Peano-Arithmetik: 1. Stufe u. verwandte Kalküle.
Chicago Style (17th ed.) CitationMellis, Werner. Zwei Normalisierungstheoreme Für Die Peano-Arithmetik: 1. Stufe U. Verwandte Kalküle. 1980.
MLA (9th ed.) CitationMellis, Werner. Zwei Normalisierungstheoreme Für Die Peano-Arithmetik: 1. Stufe U. Verwandte Kalküle. 1980.
Warning: These citations may not always be 100% accurate.