GOLDBLATT,ROBERT <br/><br/>
AXIOMATISING THE LOGIC OF COMPUTER PROGRAMMING 

 - 1 
 - BERLIN  SV  1982 
 -  304 
<br/><br/><label>ISBN: </label>NCST  137.76 
<br/><br/><label>Dewey Class. No.: </label>721