Einführung in die mathematische logik und in die methodologie der mathematik | lit.salon