• La fundamentación intuicionista de la matemática 

    Heyting, Arend
    El objetivo que el matemático intuicionista se propone es el siguiente: practicar matemática como una función natural del intelecto, como una libre, vital actividad del pensamiento. Para él la matemática es un producto de ...