Computer programming and formal systems / 
edited by P. Braffort and D. Hirschberg 
 - Amsterdam :  North-Holland Pub.,  1963 
 - vi, 161 p. :  ill. ;  22 cm. 
 - Studies in logic and the foundations of mathematics .
<br/><br/><label>ISBN: </label> PND 20.00 (pbk) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming
<br/><br/><label>Dewey Class. No.: </label>164