And now, back to logic and Alan Weir's book

Ok, back to thinking! Alan Weir's long awaited book Truth Through Proof: A Formalist Foundation for Mathematics has been out a few weeks, and sitting on my desk unread. But now I'm going to be reviewing it for Mind. So I really ought to start reading. Now. And after Christmas, I'll be blogging about it chapter by chapter here. As I said before, it looks as if it should certainly be a fun and provoking read. So watch this space.