It's a great book, but not exactly one in the theorem-proof-corollary vein.

		gms on April 19, 2008 \| parent \| context \| favorite \| on: SICP - summary of 10 months working through the en... It's a great book, but not exactly one in the theorem-proof-corollary vein.