Browsing Revista Colombiana de Matemáticas by Author "Feferman, Solomon"
Now showing items 1-1 of 1
-
A theory of variable types
Feferman, SolomonSeveral 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.