आधुनिक तर्क के रिकर्सन सिद्धांत, मॉडल सिद्धांत, अउ सबूत सिद्धांत में बांटा गए हवय,  अउ सैद्धांतिक कंप्यूटर विज्ञान, साथ ही श्रेणी सिद्धांत ले  निकटता ले  जुड़ा होइस हवय।