Title: Foundations of formal logic