Computer Programming and Formal Systems/ 
edited by P.Braffort and D.Hirschberg 
 - Amsterdam :   North-Holland Pub.,  1967. 
 - vi,161p. 
 - Students in Logic and the Foundations of Mathematics .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming
<br/><br/><label>Dewey Class. No.: </label>519.92  / BRA/C