Formale Logik door Paul Hoyningen-Huene