Ainda em Itália, após ter concluído em 1944 uma primeira tese, em Lógica, que ficou inédita, começa a interessar-se pela Análise Funcional, onde obtém os primeiros resultados sobre a fundamentação da teoria dos funcionais analíticos de Fantappié, que culminou na sua Tese de Doutoramento publicada em 1948.