Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings (Springer, 2001)