Computer Science Logic  4th Workshop, CSL'90, Heidelberg, Germany, October 1-5, 1990  proceedings 
E. B”rger, H. Kleine Bning, M. M. Richter, ...(eds.) 
 - Berlin;  Heidelberg;  New York   Springer  1991 
 - VIII, 400 p.  fig. ; 24 cm 
 - Lecture Notes in Computer Science (LNCS)\\Springer\  533 .
<br/><br/><label>ISBN: </label>0-387-54487-9;  3-540-54487-9 
<br/><br/><label>Source: </label>C-182609 
<br/><br/><label>Index Terms--Genre/Form: </label><br/> lucrări conferințe
<br/><br/><label>Universal Decimal Class. No.: </label>004.421519.7(063)