[FOM] multi-sorted logic

abaker1@swarthmore.edu abaker1 at swarthmore.edu
Sat Mar 11 17:19:51 EST 2006

I recently received the following request from a colleague in the Mathematics 
Department. Any suggestions would be welcome:

"In my work recently I have been handicapped by not being familiar with
the basic facts about mult-sorted and higher order logic.  Do you know a source 
appropriate for a non-logician mathematician who wants something more on the 
"user's guide" end of the spectrum rather than the encyclopedic end?"

Alan Baker
Department of Philosophy
Swarthmore College
500 College Avenue
Swarthmore PA 19081

email:  abaker1 at swarthmore.edu

More information about the FOM mailing list