A lògica moderna a se dividde inta teoria da ricorscion, quella di modelli e quella da preuva, a e l’é ligâ streitamente à l’informatica teòrica e a-a teoria de categorie.