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

Brian

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