Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings - Fribourg, Laurent; Fribourg, Laurent (Springer Berlin Heidelberg : Imprint: Springer, 2001)