Shiny new versions 
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.

[ add comment ] ( 6482 views )   |  [ 0 trackbacks ]   |  permalink

<<First <Back | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 | 78 | Next> Last>>