<i>Math 13 was created by the late Howard Tucker as a traditional discrete mathematics course (the number was a deliberate joke).</i><p>I took the course under Howard G. Tucker and I did have the impression this was a course not worth taking due to the low number. Turned out to be one of the most memorable classes. We went beyond the curricula in this document and had some fun exploring Hilbert Infinite Hotel and Peanos Axioms. Howard G. Tucker was probably the most memorable professor I had as he was veering in his 90s at the time he taught the course and was just so passionate about teaching.
> and serving as the key prerequisite for upper-division courses such as abstract algebra, analysis, linear algebra & number theory.<p>I was slightly taken aback by this phrasing in the preface as I was under the impression that undergrad math programs introduce foundations ASAP and typically start proof-based classes around end of freshman/start of sophomore.