Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad U.N.
Publicado
1985-01-01
A theory of variable types
Palabras clave:
various formal theories, mathematical practice, particularly analysis (es)Descargas
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 proof-theoretically weak; cf. Feferman 1977, Takeuti 1978 and Friedman 1980.
Cómo citar
APA
Feferman, S. (1985). A theory of variable types. Revista Colombiana de Matemáticas, 19(1-2), 95–105. https://revistas.unal.edu.co/index.php/recolma/article/view/32587
ACM
[1]
Feferman, S. 1985. A theory of variable types. Revista Colombiana de Matemáticas. 19, 1-2 (ene. 1985), 95–105.
ACS
(1)
Feferman, S. A theory of variable types. rev.colomb.mat 1985, 19, 95-105.
ABNT
FEFERMAN, S. A theory of variable types. Revista Colombiana de Matemáticas, [S. l.], v. 19, n. 1-2, p. 95–105, 1985. Disponível em: https://revistas.unal.edu.co/index.php/recolma/article/view/32587. Acesso em: 7 mar. 2025.
Chicago
Feferman, Solomon. 1985. «A theory of variable types». Revista Colombiana De Matemáticas 19 (1-2):95-105. https://revistas.unal.edu.co/index.php/recolma/article/view/32587.
Harvard
Feferman, S. (1985) «A theory of variable types», Revista Colombiana de Matemáticas, 19(1-2), pp. 95–105. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/32587 (Accedido: 7 marzo 2025).
IEEE
[1]
S. Feferman, «A theory of variable types», rev.colomb.mat, vol. 19, n.º 1-2, pp. 95–105, ene. 1985.
MLA
Feferman, S. «A theory of variable types». Revista Colombiana de Matemáticas, vol. 19, n.º 1-2, enero de 1985, pp. 95-105, https://revistas.unal.edu.co/index.php/recolma/article/view/32587.
Turabian
Feferman, Solomon. «A theory of variable types». Revista Colombiana de Matemáticas 19, no. 1-2 (enero 1, 1985): 95–105. Accedido marzo 7, 2025. https://revistas.unal.edu.co/index.php/recolma/article/view/32587.
Vancouver
1.
Feferman S. A theory of variable types. rev.colomb.mat [Internet]. 1 de enero de 1985 [citado 7 de marzo de 2025];19(1-2):95-105. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/32587
Descargar cita
Visitas a la página del resumen del artículo
179
Descargas
Los datos de descargas todavía no están disponibles.
Licencia
Derechos de autor 1985 Revista Colombiana de Matemáticas
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.
