Yemasredat shekim : mugeti ina amekiniyo - Dawit Bezabih (Addis Ababa.: : Bemela Printing, 2015)
Keywords: Proof theory