Looking for Calvin Jongsma

Piotr Rudnicki (piotr@cs.ualberta.ca)
Wed, 15 Jun 1994 16:55:09 -0600

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: R.B.Jones@win0109.wins.icl.co.uk: "Definite description and Choice in HOL"
Previous message: John Harrison: "Formalizing variable binding"

Hi:

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

-- 
Piotr (Peter) Rudnicki

Next message: R.B.Jones@win0109.wins.icl.co.uk: "Definite description and Choice in HOL"
Previous message: John Harrison: "Formalizing variable binding"