De Poincare ao intuicionismo actual na crítica dos fundamentos de matemática : : reflexos no pensamento filosófico e matemático português - Gomes, Ruy Luis (1955)