Title: Fundamentals of logic