عصري منطق په تکرار تیوري، ماډل تیوري، او ثبوت تیوري باندی ویشل شوي، او د کمپیوټر ساینس نظري، او همدارنګه د کټګورۍ تیوري سره نږدې تړاو لري.