Natural numbers in illative combinatory logic

M. W. Bunder

Published

1985-01-01

Natural numbers in illative combinatory logic

Keywords:

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

Downloads

PDF (Español)

Authors

M. W. Bunder University of Wollongong

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

How to Cite

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 (Jan. 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), pp. 31–42. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/32579 (Accessed: 9 March 2025).

IEEE

[1]

M. W. Bunder, “Natural numbers in illative combinatory logic”, rev.colomb.mat, vol. 19, no. 1-2, pp. 31–42, Jan. 1985.

MLA

Bunder, M. W. “Natural numbers in illative combinatory logic”. Revista Colombiana de Matemáticas, vol. 19, no. 1-2, Jan. 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 (January 1, 1985): 31–42. Accessed March 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]. 1985 Jan. 1 [cited 2025 Mar. 9];19(1-2):31-42. Available from: https://revistas.unal.edu.co/index.php/recolma/article/view/32579