von
Preis unbekannt
G.H. Müller
Arithmetic Menge (Math.) function ordinal proof recursion well-ordering principle