From lusk Wed Jun 15 17:55:41 1994
Received: from scapa.cs.ualberta.ca (scapa.cs.ualberta.ca [129.128.4.44]) by antares.mcs.anl.gov (8.6.4/8.6.4) with SMTP id RAA18778 for <qed@mcs.anl.gov>; Wed, 15 Jun 1994 17:55:23 -0500
Received: from sedalia.cs.ualberta.ca by scapa.cs.ualberta.ca id <18740-2>; Wed, 15 Jun 1994 16:55:17 -0600
Subject: Looking for Calvin Jongsma
From: Piotr Rudnicki <piotr@cs.ualberta.ca>
To: qed@mcs.anl.gov
Date: 	Wed, 15 Jun 1994 16:55:09 -0600
X-Mailer: ELM [version 2.4 PL23]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 149       
Message-Id: <94Jun15.165517-0600.18740-2@scapa.cs.ualberta.ca>

Hi:

Does anybody know Calvin Jongsma?
He works in teaching logic and is a fan of Jaskowski style of natural
deduction.

-- 
Piotr (Peter) Rudnicki