Crunchy Logic

Long time no post! I have been rather busy with various bits of administravia. I was also occupied for a week or so by scampering down to Canberra to give a progress report. At any rate, I have a backlog of topics I want to post about, so regular posting will resume very shortly!

Until then, why not hop along to Yarden Katz's new blog Crunchy Logic, which covers "Logic, philosophy, computer science and their non-empty intersection".