Title: Fundamentals of Symbolic Logic