511.3  / M379t <br/>
Maslov, Sergei Iur'Evich <br/>
       THEORY OF DEDUCTIVE SYSTEMS AND ITS APPLICATIONS 
 / 
 .- Cambridge: Mit Pr.,  1987 
 .- x,151 . 
.- ( Mit Press Series In The Foundations Of Computing     
<br/><u>Subject Headings:</u> <br/>Logic, Symbolic And Mathematical;<br/>Algorithms;<br/>Machine Theory;
<br/><U>Author Added Entry: </u><br/>Lifschitx, Vladimir;
<br><U>Copy Details:</u><br> Acc. No.: <b>A100088</b>, Full Call No.: 511.3 M379t,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>