Logika modern lalu dibagi menjadi teori rekursi, teori model wan teori bukti, wan terkait erat lawan ilmu komputer teoritis, lalu teori kategori.