Title: Advances in contemporary logic and computer science
Subjects: Computer logic, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Logique informatique, Congrès, Logique symbolique et mathématique, Wiskundige logica, Logica matematica