Anfonwch hwn fel neges destun: Logic Colloquium '77 :