Logika modernna dibage mancaji teori rekursi, teori model, nenniya teori pabbutti, nenniya sileppung tedde sibawa paddisengeng komputere teoretis, sibawa teori pabbageang.