[FOM] multi-sorted logic

Arnon Avron aa at tau.ac.il
Tue Mar 14 02:12:21 EST 2006


Perhaps it is worth mentioning a textbook which devotes a short chapter 
(11 pages) to many-sorted logic:

V. Sperschneider and G. Antoniou
   LOGIC - A FOUNDATION FOR COMPUTER SCIENCE
   International Computer Science Series
   Addison-Wesley, 1991


Arnon Avron


More information about the FOM mailing list