maandeeji kesi cenndaama yahki gewtaali recursion, gewtaali model, e gewtaali proof, boo e ɓadii ka gewtidal anndal kompuuta, fahin ɗin maa boo e gewtaali category.