Title: Foundations of Formal Logic