Der Verband der rekursiv aufzählbaren Mengen (Entscheidungsproblem) | lit.salon