sorted (typed) logic

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 Mon, 17 Aug 1992 11:04

#204

Author: Harmen van den Berg
Date: Mon, 17 Aug 1992 11:04

22 lines
1183 bytes

Hi there,

I am looking for a (introductory)
book on sorted (typed) logic. If
you have any references, please
send them to
hvdberg@math.utwente.nl

thanks, Harmen

--------------------------------------------------------------------------
                                       Department of Applied Mathematics
  Harmen van den Berg                  University of Twente   
                                       P.O. Box 217 
  hvdberg@math.utwente.nl              7500 AE Enschede
                                       The Netherlands
==========================================================================
-- 



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

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