Text this: Einführung in die operative Logik und Mathematik.