Dopp, Joseph: Formale Logik. Einsiedeln : Benziger, 1969