Re: Telecon 2001-11-02 Draft minutes

Jeremy Carroll wrote:


> In particular I understood that this was not an invitation to keep hacking
> at the model theoretic aspects, but more to get the (good!) work we already
> have into a form that non-logicians can grok.

As a non-logician with a headache +1


Received on Tuesday, 6 November 2001 13:07:11 UTC