Formal Logic by Paul Hoyningen-Huene