Lungarzo, C. Formalismo E Incompletud. CRHF 1970, 4, 67-110.