Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings - Fribourg, Laurent, 1957- (Lecture notes in computer science, 2001)