. আধুনিক যুক্তি   রিকারশন তত্ত্ব, মডেল ততত, এবং প্রুফ থিয়রি এবং প্রায়শই থিওরেটিক্যাল কম্পিউটার সাইন্সের সঙ্গে সংযুক্ত আছে, যেমন শ্রেণি তত্ত্বে।