Mathematical logic in computer science - Dömölki, B.; Gergely, T. (Tamás); Colloquium on Mathematical Logic in Computer Science; Bolyai János Matematikai Társulat (Colloquia Mathematica Societatis János Bolyai, 1981)