Title: Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994
Subjects: Congresses, Symbolic and mathematical Logic, Computer science