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