Alo! Il 18/03/2014 13:10, Massimiliano Masi ha scritto: > Hai detto bene: una formalizzazione. E quindi viene con se con dei bei > risultati di correttezza e completezza. Meno male che c'è Godel! :) Abraço, Vince -- NPDD - Núcleo de Pesquisa e Desenvolvimento Digital Casa de Cultura Tainã / Rede Mocambos / Mercado Sul / Altakamul