Introduction to Logic Spring 2024