home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / logic / 1275 < prev    next >
Encoding:
Text File  |  1992-08-17  |  1.1 KB  |  35 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!mcsun!sun4nl!utrcu1!utmfu0!hvdberg
  3. From: hvdberg@math.utwente.nl (Harmen van den Berg)
  4. Subject: sorted (typed) logic
  5. Message-ID: <1992Aug17.110444.1534@utwente.nl>
  6. Originator: hvdberg@math.utwente.nl
  7. Keywords: sorted logic, references
  8. Sender: news@utwente.nl (USENET News System)
  9. Organization: University of Twente (Dept. Applied Math.), Enschede, the Netherlands.
  10. Date: Mon, 17 Aug 1992 11:04:44 GMT
  11. Lines: 22
  12.  
  13. Hi there,
  14.  
  15. I am looking for a (introductory)
  16. book on sorted (typed) logic. If
  17. you have any references, please
  18. send them to
  19. hvdberg@math.utwente.nl
  20.  
  21. thanks, Harmen
  22.  
  23. --------------------------------------------------------------------------
  24.                                        Department of Applied Mathematics
  25.   Harmen van den Berg                  University of Twente   
  26.                                        P.O. Box 217 
  27.   hvdberg@math.utwente.nl              7500 AE Enschede
  28.                                        The Netherlands
  29. ==========================================================================
  30. -- 
  31.  
  32.  
  33.  
  34. --------------------------------------------------------------------------
  35.