Feferman, Solomon. "A Theory Of Variable Types.." Revista colombiana de matematicas 19 (1985): 95-106. <http://eudml.org/doc/181749>.
@article{Feferman1985, author = {Feferman, Solomon}, journal = {Revista colombiana de matematicas}, keywords = {formal theories; direct formalization of mathematics; variable types; Axiom of Choice; formalization of some parts of classical and modern analysis}, pages = {95-106}, title = {A Theory Of Variable Types.}, url = {http://eudml.org/doc/181749}, volume = {19}, year = {1985}, }
TY - JOUR AU - Feferman, Solomon TI - A Theory Of Variable Types. JO - Revista colombiana de matematicas PY - 1985 VL - 19 SP - 95 EP - 106 KW - formal theories; direct formalization of mathematics; variable types; Axiom of Choice; formalization of some parts of classical and modern analysis UR - http://eudml.org/doc/181749 ER -