Archive for February, 2013
- Daddy, where do numbers come from? on February 19, 2013
- The Original Cretan Liar Paradox on February 9, 2013
- Why teach formal logic and set theory? on February 9, 2013
A software tool developed by author, Dan Christensen, to teach the basic methods of mathematical proof
