Publicado
1985-01-01
Natural numbers in illative combinatory logic
Palabras clave:
Natural numbers, predicate calculus, axioms, set theory (es)Descargas
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].
Visitas a la página del resumen del artículo
222
Descargas
Los datos de descarga aún no están disponibles.
Cómo citar
Natural numbers in illative combinatory logic. (1985). Revista Colombiana De Matemáticas, 19(1-2), 31-42. https://revistas.unal.edu.co/index.php/recolma/article/view/32579
Licencia
Derechos de autor 1985 Revista Colombiana de Matemáticas
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.