Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science, as well as to category theory.
Logika modern kapah dados teori rekursi, teori model, miwah teori bukti, taler mapaiketan sareng ilmu komputer teoretis, taler teori kategori.