Natural numbers in illative combinatory logic
Autor
Tipo de contenido
Artículo de revista
Idioma del documento
EspañolFecha de publicación
1985Resumen
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].Palabras clave
Colecciones
Esta obra está bajo licencia internacional Creative Commons Reconocimiento-NoComercial 4.0.Este documento ha sido depositado por parte de el(los) autor(es) bajo la siguiente constancia de depósito