This is a course intended for freshman or sophomore mathematics majors. Topics covered include a rigorous look at logical statements, basic proof techniques, sets, and functions.