001.64  / P285l <br/>
Paulson, Lawrence C. <br/>
       Logic and computation : interactive proof with Cambridge LCF 
 / Lawrence C. Paulson 
 .- Cambridge: Cambridge University Press,  1987 
 .- ix, 302p. . 
.- ( Cambridge Tracts In Theoretical Computer Science / Edited By C.J. Van Rijsbergen     
<br><u>ISBN:</u> 0521346320 
<br/><u>Subject Headings:</u> <br/>Computable Functions--Data Processing;<br/>Cambridge Clf (Computer System);
<br><U>Copy Details:</u><br> Acc. No.: <b>A102446</b>, Full Call No.: 001.64 P285l,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>