Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad U.N.
Veröffentlicht
1985-01-01
A theory of variable types
Schlagworte:
various formal theories, mathematical practice, particularly analysis (es)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.
Zitationsvorschlag
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 (Jan. 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: 2 feb. 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), S. 95–105. Verfügbar unter: https://revistas.unal.edu.co/index.php/recolma/article/view/32587 (Zugegriffen: 2 Februar 2025).
IEEE
[1]
S. Feferman, „A theory of variable types“, rev.colomb.mat, Bd. 19, Nr. 1-2, S. 95–105, Jan. 1985.
MLA
Feferman, S. „A theory of variable types“. Revista Colombiana de Matemáticas, Bd. 19, Nr. 1-2, Januar 1985, S. 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 (Januar 1, 1985): 95–105. Zugegriffen Februar 2, 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. Januar 1985 [zitiert 2. Februar 2025];19(1-2):95-105. Verfügbar unter: https://revistas.unal.edu.co/index.php/recolma/article/view/32587
Bibliografische Angaben herunterladen
Aufrufe der Abstractseiten von Artikeln
177
Downloads
Keine Nutzungsdaten vorhanden.
Lizenz
Copyright (c) 1985 Revista Colombiana de Matemáticas
Dieses Werk steht unter der Lizenz Creative Commons Namensnennung 4.0 International.
