Computer science logic 11th international workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23 - 29, 1997 ; selected papers (Springer, 1998)