Sell, buy or rent Marc Bezem textbooks
Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, ... (Lecture Notes in Computer Science, 1258)
by
Dirk van Dalen, Marc Bezem
ISBN-13: 9783540631729
ISBN-10: 3540631720
Edition: 1997
Publisher:
Springer
Format:
Paperback
488 pages