হৌজিক মতমগী লোজিক অসি রিকর্সন থিওরী, মোদেল থিওরী, অমসুং প্রুফ থিওরী হায়না খায়দোকই, অমসুং মসি থিওরেতিকেল কম্প্যুতর সাইন্স অমসুং কেতগোরী থিওরীগা নক্না মরী লৈনৈ।