Title: Fundamentals of symbolic logic