IEEE Symposium on logic in computer science (16  2001  Boston) <br/><br/>
Logic in computer science. LICS 2001. Proceedings   

 - Los Almitos  IEEE Computer society  2001 
 - xii, 441p.  incl. bibl. 
<br/><br/><label>ISBN: </label>076951281X 
<br/><br/><label>Dewey Class. No.: </label>005  / P01 "SER"