von
Preis unbekannt
G.H. Müller
Arithmetic Cantor Finite Mathematische Logik Transfinite induction logic proof set theory theorem