La logica d’incœu l’è divisa en la teuria de la ricorsiun, la teuria di mudei e la teuria de la dimustrazion e ancamò l’è culegada a l’infurmatica teorica e anca a la teuria di categurì.