Computer Science Logic: 15th International Workshop, Csl 2001, 10th Annual Conference of the Eacsl, Paris, France, September 10-13, 2001 : Proceedings (Lecture Notes in Computer Science, 2142)