@article{bwmeta1.element.bwnjournal-article-fmv54i1p8bwm,
author = {Andrzej Grzegorczyk},
title = {Recursive objects in all finite types},
journal = {Fundamenta Mathematicae},
volume = {53},
year = {1964},
pages = {73-93},
zbl = {0196.01404},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv54i1p8bwm}
}
Grzegorczyk, Andrzej. Recursive objects in all finite types. Fundamenta Mathematicae, Tome 53 (1964) pp. 73-93. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv54i1p8bwm/