نوٚو منطق چھ ریکریشن تھیوری، ماڈل تھیوری، تہٕ پروف تھیوری منٛز تقسیٖم کرنہٕ آمت، تہٕ امیک تعلق چھ تھیوریٹیکل کمپیوٹر ساینس سۭتۍ سۭتۍ زمرہ تھیوری سۭتۍ تہ۔