MetaMath applet for proof-writing
I just joined and wanted to say the obvious: logic is awesome!  On to my first post ...

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.