The syllabus can be found here.
The main text with be Clive Newstead's An Infinite Descent into Pure Mathematics, version 0.4, which is available for free in a variety of formats (PDF, tablet, smartphone).
An optional supplemental reference is How To Prove It: A Structured Approach by Daniel J Velleman.
You might also enjoy How to write proofs: a quick guide by Eugenia Cheng.
Problem sets will be posted on the Blackboard site and are due before class on Wednesdays. An extra optional problem set, related to the computer proof assistant unit, appears below.
Here are some resources, originally developed by tslil clingman:
Here are some questions for discussion (feel free to add others):
If you have any questions about the course, please get in touch. My contact info can be found on my personal website.