CSL '88 :  2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / 
E. Börger, H. Kleine Büning, M. M. Richter (eds.) 
 - Berlin :  Springer-Verlag,  1989 
 - 399 p. 
 - Lecture notes in computer science ;  no. 385 .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science--Mathematics--Congresses<br/>Logic, Symbolic and mathematical--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.9 M35  / W67 1988