Matt Brown 06/22/2015 I think that there are two plausible conceptions on the...P.D. 02/20/2015 Derek: Regarding your first point, that might be right....Derek C. 02/20/2015 Hey, PD. Interesting post, but here's a couple of...Ron 11/11/2014 Wow. Listening to the "All Blues" re-do was much...alex 10/24/2014 And he makes so much of the difficulty of converting LaTeX,...
I recently posted a new draft of my induction paper. Having taught with forall x last term, I had the opportunity to catch some errors and infelicities. They have been exchanged for felicities, and the new version 1.21 is on-line.