Revista Colombiana de Matemáticas
Volumen 19
[
1-2
] (
1985
)Páginas
A theory of variable types
Solomon Feferman
,