Sorted Quantification

Article View: sci.logic

Article #157

#157

From: Harmen van den Berg
Date: Wed, 09 Sep 1992 10:12

13 lines
694 bytes

Hi there,

I'm looking for references on Sorted Quantification.

Please reply to hvdberg@math.utwente.nl

Thanks, Harmen
-- 



--------------------------------------------------------------------------

Technical Details

Message-ID: <1992Sep9.101216.17558@utwente.nl>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sun4nl!utrcu1!utmfu0!hvdberg

Show Full Headers

Complete Article Headers

Newsgroups: sci.logic
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sun4nl!utrcu1!utmfu0!hvdberg
From: hvdberg@math.utwente.nl (Harmen van den Berg)
Subject: Sorted Quantification
Message-ID: <1992Sep9.101216.17558@utwente.nl>
Originator: hvdberg@math.utwente.nl
Keywords: References on Sorted Quantification 
Sender: news@utwente.nl (USENET News System)
Organization: University of Twente (Dept. Applied Math.), Enschede, the Netherlands.
Date: Wed, 9 Sep 1992 10:12:16 GMT
Lines: 13