Braffort, P & Hirschberg, D (eds) Computer programming & formal systems Ed by P. Braffort & D. Hirschberg - Amsterdam North-Holland Pub. Co. 1967 - vii 161 - Studies in logic & the foundations of mathematics . Dewey Class. No.: 18 / BRAF