[FOM] multi-sorted logic

[abaker1@swarthmore.edu]

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