Natural numbers in illative combinatory logic

M. W. Bunder

Publicado

1985-01-01

Natural numbers in illative combinatory logic

Palabras clave:

Natural numbers, predicate calculus, axioms, set theory (es)

Descargas

PDF

Autores/as

M. W. Bunder University of Wollongong

Resumen (es)

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].

Cómo citar

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 (ene. 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: 2 feb. 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), pp. 31–42. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/32579 (Accedido: 2 febrero 2025).

IEEE

[1]

M. W. Bunder, «Natural numbers in illative combinatory logic», rev.colomb.mat, vol. 19, n.º 1-2, pp. 31–42, ene. 1985.

MLA

Bunder, M. W. «Natural numbers in illative combinatory logic». Revista Colombiana de Matemáticas, vol. 19, n.º 1-2, enero de 1985, pp. 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 (enero 1, 1985): 31–42. Accedido febrero 2, 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 de enero de 1985 [citado 2 de febrero de 2025];19(1-2):31-42. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/32579