Mathematical logic in computer science - Domolki, B.; Gergely, Tamas; Colloquium on Mathematical Logic in Computer Science (1978 : Salgotarjan, Hungary); Bolyai Janos Mathematikai Tarsulat (Amsterdam ; New York : North-Holland Publ. Co., 1981)
Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgotarjan, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society.
Keywords: Computer programming; Programming languages (Electronic computers) -- Semantics