sorted (typed) logic

Article View: sci.logic

Article #204

#204

From: 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
==========================================================================
-- 



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

Technical Details

Message-ID: <1992Aug17.110444.1534@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 (typed) logic
Message-ID: <1992Aug17.110444.1534@utwente.nl>
Originator: hvdberg@math.utwente.nl
Keywords: sorted logic, references
Sender: news@utwente.nl (USENET News System)
Organization: University of Twente (Dept. Applied Math.), Enschede, the Netherlands.
Date: Mon, 17 Aug 1992 11:04:44 GMT
Lines: 22