home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2166 < prev    next >
Encoding:
Internet Message Format  |  1992-11-23  |  1.0 KB
  1. Path: sparky!uunet!mcsun!uknet!rook.ukc.ac.uk!beech.ukc.ac.uk!sjt
  2. From: sjt@ukc.ac.uk (S.J.Thompson)
  3. Newsgroups: sci.logic
  4. Subject: Looking for proof checking/building software for teaching
  5. Message-ID: <45@beech.ukc.ac.uk>
  6. Date: 23 Nov 92 20:06:46 GMT
  7. Sender: sjt@ukc.ac.uk
  8. Organization: Computing Lab, University of Kent at Canterbury, UK.
  9. Lines: 19
  10. Nntp-Posting-Host: beech.ukc.ac.uk
  11.  
  12. I am looking for software to support teaching propositional and predicate
  13. logic at undergraduate level. Specifically, I would like software for the
  14. IBM PC or for Sun workstations which support the interactive construction of
  15. proofs. I will post a summary of responses, assuming I receive any, to the
  16. net.
  17.  
  18. Many thanks
  19.  
  20. Simon Thompson
  21.  
  22. =======================================================================
  23.  
  24. Simon Thompson                e-mail:    sjt@ukc.ac.uk
  25. Computing Laboratory            phone:    +44-227-764000 
  26. University of Kent                  extn. 3820
  27. Canterbury, Kent,            fax:    +44-227-762811
  28. CT2 7NF, UK
  29.  
  30. =======================================================================
  31.