Mathematical logic in computer science - Dömölki, B. (Hrsg.) (Colloquia mathematica Societatis János Bolyai, 1981)