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