Formale Logik door Paul Lorenzen