Mathematical logic in computer science
By: edited by B. Dömölki and T. Gergely.
Contributors: Dömölki, B.; Gergely, T.; Bolyai János Mathematikai Társulat.; Colloquium on Mathematical Logic in Computer Science (1978 : Salgótarján, Hungary)
Series: Colloquia mathematica societatis János Bolyai,; 26
Publisher: North-Holland Pub. Co.; Elsevier Science Ltd
Published: 1981
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 758
Subjects: Computer programming.; Programming languages (Electronic computers) -- Semantics.
Notes: Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgótarján, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society.