Mathematical logic in computer science - Domolki, B.; Gergely, T. (Amsterdam : North-Holland, 1981)
Conference papers.
Keywords: Electronic digital computers -- Programming -- Congresses; Logic, Symbolic and mathematical -- Congresses