La logjiche moderne e je divise in teorie da la ricorsiôn, teorie dai models e teorie des provis, e e je leade a la informatiche teoriche e a la teorie da lis categoriis.