Formale Logik - Lorenzen, Paul 1915-1994 (de Gruyter, 1970)