Monthly Archives: August 2014

Model theory without tears?

Ah well, you win some and you lose some. I was writing for months about recursive ordinals and proof theory with a view to a short-ish book. And now, quite a way in, I realise that I have to go … Continue reading

Posted in Logic | 3 Comments