001.64  / L497 <br/>
Nerode, A. <br/>
       LOGICAL FOUNDATIONS OF COMPUTER SCIENCE - TVER `92 
 / PROCEEDINGS 
 .- Berlin: Springer-Verlag,  1992 
 .- ix,514. 
.- ( Lecture Notes In Computer Science  V. 620   
<br><u>ISBN:</u> 3540557075 
<br/><u>Subject Headings:</u> <br/>Computer Science;
<br/><U>Author Added Entry: </u><br/>Taitslin, M.;<br/>;
<br><U>Copy Details:</u><br> Acc. No.: <b>A114206</b>, Full Call No.: 001.64 L497, (v.620)  Item type:  Lect. Notes Comp. Sc. (Avl.Online) , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>