Lehrbuch der elementaren Logik - Wuest, Eckehard