This volume contains the papers which were presented at the second workshop """"Computer Science Logic"""" held in Duisburg, FRG, October 3-7, 1988. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g.