Formale Logik - Lorenzen, Paul, 1915-1994 (Walter de Gruyter & Co., 1970)