Anfonwch hwn fel neges destun: Logic, computation, hierarchies /