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