Title: Frontiers of Combining Systems
Subjects: Logic, symbolic and mathematical, Computer science