Computer programming and formal systems /

Bibliographic Details
Other Authors: Braffort, Paul, 1923-2018 (ed.), Hirschberg, David (ed.)
Format: Book
Published: Amsterdam : North-Holland, 1967.
Series:Studies in logic and the foundations of mathematics
Subjects: