Title: Proceedings
First published: 2000
Subjects: Computer science, Congresses, Logic, Symbolic and mathematical, Mathematics, Symbolic and mathematical Logic