Title: Logic for undergraduates