MetaMath applet for proof-writing
There's this cool website I just bumped into called MetaMath. I'm gonna try out its Java applet, proof-writing thingy. :)
Even cooler is that the website recommends A Primer for Logic and Proof that my math professors wrote! I have the copy she gave me right here. The Hirsts are an interesting couple ...
... and it's a small world, again.