Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad U.N.
Publié-e
1985-01-01
Natural numbers in illative combinatory logic
Mots-clés :
Natural numbers, predicate calculus, axioms, set theory (es)Téléchargements
In this paper we attempt to develop natural numbers using the second order predicate calculus and the three axioms also used to obtain the set theory of [3].
Comment citer
APA
Bunder, M. W. (1985). Natural numbers in illative combinatory logic. Revista Colombiana de Matemáticas, 19(1-2), 31–42. https://revistas.unal.edu.co/index.php/recolma/article/view/32579
ACM
[1]
Bunder, M.W. 1985. Natural numbers in illative combinatory logic. Revista Colombiana de Matemáticas. 19, 1-2 (janv. 1985), 31–42.
ACS
(1)
Bunder, M. W. Natural numbers in illative combinatory logic. rev.colomb.mat 1985, 19, 31-42.
ABNT
BUNDER, M. W. Natural numbers in illative combinatory logic. Revista Colombiana de Matemáticas, [S. l.], v. 19, n. 1-2, p. 31–42, 1985. Disponível em: https://revistas.unal.edu.co/index.php/recolma/article/view/32579. Acesso em: 9 mars. 2025.
Chicago
Bunder, M. W. 1985. « Natural numbers in illative combinatory logic ». Revista Colombiana De Matemáticas 19 (1-2):31-42. https://revistas.unal.edu.co/index.php/recolma/article/view/32579.
Harvard
Bunder, M. W. (1985) « Natural numbers in illative combinatory logic », Revista Colombiana de Matemáticas, 19(1-2), p. 31–42. Disponible à: https://revistas.unal.edu.co/index.php/recolma/article/view/32579 (Consulté le: 9 mars 2025).
IEEE
[1]
M. W. Bunder, « Natural numbers in illative combinatory logic », rev.colomb.mat, vol. 19, nᵒ 1-2, p. 31–42, janv. 1985.
MLA
Bunder, M. W. « Natural numbers in illative combinatory logic ». Revista Colombiana de Matemáticas, vol. 19, nᵒ 1-2, janvier 1985, p. 31-42, https://revistas.unal.edu.co/index.php/recolma/article/view/32579.
Turabian
Bunder, M. W. « Natural numbers in illative combinatory logic ». Revista Colombiana de Matemáticas 19, no. 1-2 (janvier 1, 1985): 31–42. Consulté le mars 9, 2025. https://revistas.unal.edu.co/index.php/recolma/article/view/32579.
Vancouver
1.
Bunder MW. Natural numbers in illative combinatory logic. rev.colomb.mat [Internet]. 1 janv. 1985 [cité 9 mars 2025];19(1-2):31-42. Disponible à: https://revistas.unal.edu.co/index.php/recolma/article/view/32579
Télécharger la référence
Consultations de la page du résumé de l'article
120
Téléchargements
Licence
© Revista Colombiana de Matemáticas 1985
Cette œuvre est sous licence Creative Commons Attribution 4.0 International.
