Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!decvax!harpo!gummo!whuxlb!floyd!clyde!ihnp4!zehntel!hplabs!sri-unix!CLT@SU-AI
From: CLT@SU-AI@sri-unix.UUCP
Newsgroups: net.ai
Subject: SEMINAR IN LOGIC AND FOUNDATIONS
Message-ID: <12270@sri-arpa.UUCP>
Date: Fri, 30-Sep-83 13:49:00 EDT
Article-I.D.: sri-arpa.12270
Posted: Fri Sep 30 13:49:00 1983
Date-Received: Thu, 6-Oct-83 03:20:33 EDT
Lines: 22

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]