Computer programming and formal systems. Edited by P. Braffort and D. Hirschberg. Braffort, P. (Paul), ed. Hirschberg, D. (David), joint ed. Computer programming. QA76 .B7 510.78 BRC Imprint covered by label: New York, Humanities Press. Includes bibliographies. Amsterdam : North-Holland Pub. Co. ; 1967. 1967. 1963 Text vi, 161 p. : eng Studies in logic and the foundations of mathematics