~ tracking down this book ~
Computer Science Logic: 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991 by Egon Borger — OmList