Computer programming and formal systems.
Contributors: Hirschberg, D.
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1967
Place of publication: Amsterdam
Language: eng
Number of pages: 161
Subjects: Computer programming
Notes: Includes bibliographies.