Logika modern dibagi jeut teori rekursi, teori model, dan teori pembuktian, ngen teukaet that deungen ilume komputer teoretis, seureuta teori kategori.