Title: Modern Formal Logic