Symposium on Logic in Computer Science (12th 1997 Warsaw, Poland)