Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad U.N.
Pubblicato
1985-01-01
Natural numbers in illative combinatory logic
Parole chiave:
Natural numbers, predicate calculus, axioms, set theory (es)##submission.downloads##
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].
Come citare
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 (gen. 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 mar. 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), pagg. 31–42. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/32579 (Consultato: 9 marzo 2025).
IEEE
[1]
M. W. Bunder, «Natural numbers in illative combinatory logic», rev.colomb.mat, vol. 19, n. 1-2, pagg. 31–42, gen. 1985.
MLA
Bunder, M. W. «Natural numbers in illative combinatory logic». Revista Colombiana de Matemáticas, vol. 19, n. 1-2, gennaio 1985, pagg. 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 (gennaio 1, 1985): 31–42. Consultato marzo 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 gennaio 1985 [citato 9 marzo 2025];19(1-2):31-42. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/32579
Scarica citazione
Viste delle pagine degli abstract
120
Downloads
Licenza
Copyright (c) 1985 Revista Colombiana de Matemáticas
TQuesto lavoro è fornito con la licenza Creative Commons Attribuzione 4.0 Internazionale.
