Mathematische Logik - e-bok, Tyska, 2016