This explains Bourbaki's preference for set theory as a foundational system.
CMU 05 | Pedagogy Colloquium, CMU April 05 |
Jeric 05 | CDM: Teaching discrete mathematics to computer science majors, J. Educ. Resour. Comput., 5 (2005) 2, pp. 1-11 |
IU 14 | Turing vs. Bourbaki, Indiana U Bloomington, 2014. |
Genealogy | A mathematical genealogy. |