Lehrgang der konstruktiven Mathematik - Taschner, Rudolf 1953-