Natural numbers in illative combinatory logic

M. W. Bunder

Veröffentlicht

1985-01-01

Natural numbers in illative combinatory logic

Schlagworte:

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

Downloads

PDF (Español)

Autor/innen

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

Zitationsvorschlag

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 märz. 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), S. 31–42. Verfügbar unter: https://revistas.unal.edu.co/index.php/recolma/article/view/32579 (Zugegriffen: 9 März 2025).

IEEE

[1]

M. W. Bunder, „Natural numbers in illative combinatory logic“, rev.colomb.mat, Bd. 19, Nr. 1-2, S. 31–42, Jan. 1985.

MLA

Bunder, M. W. „Natural numbers in illative combinatory logic“. Revista Colombiana de Matemáticas, Bd. 19, Nr. 1-2, Januar 1985, S. 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 (Januar 1, 1985): 31–42. Zugegriffen März 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. Januar 1985 [zitiert 9. März 2025];19(1-2):31-42. Verfügbar unter: https://revistas.unal.edu.co/index.php/recolma/article/view/32579