%0 Journal Article
%A Solomon Feferman
%T A Theory Of Variable Types.
%J Revista colombiana de matematicas
%D 1985
%P 95-106
%V 19
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RCM_1985__19_181749/
%F RCM_1985__19_181749