Categorical characterizations of the natural numbers require primitive recursion
Kołodziejczyk, Leszek Aleksander, Yokoyama, KeitaVolume:
166
Language:
english
Journal:
Annals of Pure and Applied Logic
DOI:
10.1016/j.apal.2014.10.003
Date:
February, 2015
File:
PDF, 395 KB
english, 2015