Now showing items 1-1 of 1

    • A theory of variable types 

      Feferman, Solomon
      Several publications in recent years have presented various formal theories T in which considerable portions of mathematical practice (particularly analysis) can be more or less directly formalized and which are ...
      Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas.