TY  - MANSCPT
AU  - Dawit Bezabih
TI  - Yemasredat shekim: mugeti ina amekiniyo 
U1  - ETH 347.06 Daw 2015 
PY  - 2015///
CY  - Addis Ababa.:
PB  - Bemela Printing
KW  - Proof theory
ER  -