ISBN 9783540544876 books & textbook
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings (Lecture Notes in Computer Science, 533)
Börger, Egon Kleine Büning, Hans Richter, Michael M. Schönfeld, Wolfgang
Springer /1991-09-11 Paperback / 410 Pages
isbn-10: 3540544879 / isbn-13: 9783540544876
