Monthly Archives: November 2007

More books — free this time

Posted on November 4, 2007

In his nice blog, Words and Other Things, Shawn Standefer helpfully notes that CSLI publications have digitalized their backlist, and put the PDFs online for free here. The list includes e.g. Peter Aczel’s Non-well-founded sets, Jon Barwise and Lawrence Moss’s … Continue reading →

Posted in Books, Logic | Leave a comment

Leopard, second impressions

Posted on November 2, 2007

I’m still dosed up to the eyeballs and so finding it annoyingly difficult to concentrate on work. I am supposed to be thinking more about issues related to ACA0 – especially as I’m due to talk about this sort of … Continue reading →

Posted in Geek stuff | Leave a comment

Spread the word!

Posted on November 2, 2007

Ah well, sales for the first three months of the Gödel book are not exactly on a Harry Potter scale. But my editor does seem reasonably pleased. Still, sales in North America are (proportionally) nowhere near as good as those … Continue reading →

Posted in Books, Logic | 4 Comments

Ray Gravell

Posted on November 2, 2007

I was sad to read that Ray Gravell, a stalwart of the great Welsh team of the 1970s, has died. Reading some of the obituaries brought back memories of those glory days. Here are J.P.R. Williams, Gerald Davies, Ray Gravell … Continue reading →

Posted in This and that | 1 Comment