Blog Archive 2016 Assignment 4 (due March 15, 2016) Mar 08 2016 Assignment 3 - Quotients (due Tuesday, February 9, 2016) Feb 02 2016 Assignment 2 (due Friday, February 5, 2016) Jan 22 2016 e-mail submissions Jan 14 2016 Starting LaTeX Jan 12 2016 Assignment 1(due Tuesday, January 19, 2016) Jan 08 2016 Natural Numbers - Axioms, Addition, Recursion Jan 08 2016 Formal Languages Jan 07 2016 Natural Numbers- First Order Logic Jan 04 2016 2015 Welcome to Basic Analysis Dec 22 2015