Natural numbers in illative combinatory logic

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

Autores:
Bunder, M. W.
Tipo de recurso:
Article of journal
Fecha de publicación:
1985
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/48753
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/48753
http://bdigital.unal.edu.co/42210/
Palabra clave:
Natural numbers
predicate calculus
axioms
set theory
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional