mattyb
This reader’s recommendations and supporting excerpts from the sampled discussions.
mattyb · Aug 11, 2009I second the Eccles recommendation. It's a really great introduction to formal mathematics.
mattyb · May 4, 2009The 2nd edition of this (wonderful) book is due out in August.