आधुनिक तर्क पुनरावर्तन सिद्धांत, मॉडल सिद्धांत आउर प्रमाण सिद्धांत में बटल बा जेकी सैद्धांतिक कंप्यूटर विज्ञान के साथे-साथे श्रेणी सिद्धांत से नजदीक से जुड़ल बा.