FOM: intuitionist propositional logic

Thomas Forster T.Forster at dpmms.cam.ac.uk
Wed Apr 21 03:38:01 EDT 1999


I have some articles on these by Craig MacKay, who 
taught me logic at UEA many years ago.  If anybody
can tell me where he is now i would be grateful.
(Or Lenny Lipner for that matter, who taught logic
there too and seems to have vanished...)
      Thomas Forster



More information about the FOM mailing list