Computer science logic :  8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / 
Leszek Pacholski and Jerzy Tiuryn (eds.) 
 - Berlin :  Springer-Verlag,  1995 
 - 541 p. 
 - Lecture notes in computer science ;  no. 933 .
<br/><br/><label>ISBN: </label>3540600175 
<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 1994