Computer science logic 8th workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994 ; selected papers (Springer, 1995)