Computer Science Logic: 4th Workshop (CSL 90, Heidelberg, Germany, October 1-5, 1990) (Proceedings)

Egon Bvrger , Hans Kleine B]ning , Michael M. Richter