Braffort, P. <br/><br/>
Computer programming and formal systems. 

 - Amsterdam :  North-Holland,  1967. 
 - vi, 161 p. :  tabla, diagr. 
<br/><br/> Frent. port.: Studies in logic and the foundations of mathematics  Incl. Bibliografía al final de cada artículo. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PROGRAMACION<br/>LOGICA MATEMATICA
<br/><br/><label>Universal Decimal Class. No.: </label>681.3.00