Computer Science Logic: 4th Workshop

Egon Bvrger , Hans Kleine B[n]ing , Michael M. Richter