[net.ai] SEMINAR IN LOGIC AND FOUNDATIONS

CLT@SU-AI@sri-unix.UUCP (09/30/83)

From:  Carolyn Talcott <CLT@SU-AI>

                [Reprinted from the SU-SCORE bboard.]


Organizational and First Meeting

Time: Wednesday, Oct. 5, 4:15-5:30 PM

Place:  Mathematics Dept. Faculty Lounge, 383N Stanford

Speaker: Ian Mason

Title: Undecidability of the metatheory of the propositional calculus.

   Before the talk there will be a discussion of plans for the seminar
this fall.
                       S. Feferman


[PS - If you read this notice on a bboard and would like to be on the
distribution list send me a message.  - CLT@SU-AI]