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.
Enahəji išrayan azun as tamusne ən atwəɣar, tamusne ən iritan ad tamusne ən tamatert, izar taqal tahurut anmətaf as alaɣi ən tamusne, as sund tamusne tan iritan.