Title: Many-sorted logic and its applications
Subjects: Mathematics, Symbolic and mathematical Logic, Computer science, Artificial intelligence, Sorting (electronic computers), Computer programming, Nonclassical mathematical logic