Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad U.N.
Pubblicato
1985-01-01
A theory of variable types
Parole chiave:
various formal theories, mathematical practice, particularly analysis (es)##submission.downloads##
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.
Come citare
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 (gen. 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: 22 gen. 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), pagg. 95–105. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/32587 (Consultato: 22 gennaio 2025).
IEEE
[1]
S. Feferman, «A theory of variable types», rev.colomb.mat, vol. 19, n. 1-2, pagg. 95–105, gen. 1985.
MLA
Feferman, S. «A theory of variable types». Revista Colombiana de Matemáticas, vol. 19, n. 1-2, gennaio 1985, pagg. 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 (gennaio 1, 1985): 95–105. Consultato gennaio 22, 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 gennaio 1985 [citato 22 gennaio 2025];19(1-2):95-105. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/32587
Scarica citazione
Viste delle pagine degli abstract
177
Downloads
I dati di download non sono ancora disponibili.
Licenza
Copyright (c) 1985 Revista Colombiana de Matemáticas
TQuesto lavoro è fornito con la licenza Creative Commons Attribuzione 4.0 Internazionale.
