Braffort, P.
Computer programming and formal systems. Edited by P. Braffort and D. Hirschberg. - Amsterdam : North-Holland Pub. Co. ; 1967. - vi, 161 p. : ill. ; 22 cm. - Studies in logic and the foundations of mathematics .
Imprint covered by label: New York, Humanities Press.
Includes bibliographies.
63003816
Computer programming.
QA76 / .B7
510.78 / BRC
Computer programming and formal systems. Edited by P. Braffort and D. Hirschberg. - Amsterdam : North-Holland Pub. Co. ; 1967. - vi, 161 p. : ill. ; 22 cm. - Studies in logic and the foundations of mathematics .
Imprint covered by label: New York, Humanities Press.
Includes bibliographies.
63003816
Computer programming.
QA76 / .B7
510.78 / BRC