004.0151  / H971L <br/>
Huth M. <br/>
       Logic in Computer Science : Modelling and Reasoning about Systems 
 / 
 .- Cambridge: Cambridge University Press,  2000 
 .- xvii, 387p. . 
<br><u>ISBN:</u> 0521652006 
<br/><u>Subject Headings:</u> <br/>Logic In Computer Science, 2.Modelling And Reasoning About Systems;
<br/><U>Author Added Entry: </u><br/>Ryan M.;
<br><U>Copy Details:</u><br> Acc. No.: <b>A131134</b>, Full Call No.: 004.0151 H971L,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>