Zwei Normalisierungstheoreme für die Peano-Arithmetik 1. Stufe und verwandte Kalküle
By: Werner Mellis
Contributors: Universität zu Köln
Published: 1980
Language: ger
Number of pages: 135
Notes: Thesis (doctoral)--Universität zu Köln, 1980.