Computer Science Logic: 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991 : Proceedings - Couverture souple

 
9780387557892: Computer Science Logic: 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991 : Proceedings