Sorted Quantification

Thread View: sci.logic

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Harmen van den Berg Wed, 09 Sep 1992 10:12

#157

Author: 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
-- 



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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads