Title: Frontiers of combining systems
Subjects: Computer science, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic