Computer science logic :  5th Workshop, CSL'91, Berne, Switzerland, October 7-11, 1991 : proceedings / 
E. Börger ... [et al.] (eds.) 
 - Berlin :  Springer-Verlag,  1992 
 - 428 p. 
 - Lecture notes in computer science ;  no. 626 .
<br/><br/><label>ISBN: </label>354055789X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical--Congresses<br/>Computer science--Mathematics--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.9 M35  / W67 1991