home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / logic / 1368 < prev    next >
Encoding:
Text File  |  1992-09-08  |  669 b   |  26 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 Quantification
  5. Message-ID: <1992Sep9.101216.17558@utwente.nl>
  6. Originator: hvdberg@math.utwente.nl
  7. Keywords: References on Sorted Quantification 
  8. Sender: news@utwente.nl (USENET News System)
  9. Organization: University of Twente (Dept. Applied Math.), Enschede, the Netherlands.
  10. Date: Wed, 9 Sep 1992 10:12:16 GMT
  11. Lines: 13
  12.  
  13.  
  14. Hi there,
  15.  
  16. I'm looking for references on Sorted Quantification.
  17.  
  18. Please reply to hvdberg@math.utwente.nl
  19.  
  20. Thanks, Harmen
  21. -- 
  22.  
  23.  
  24.  
  25. --------------------------------------------------------------------------
  26.