Recursive objects in all finite types
Fundamenta Mathematicae, Tome 54 (1964) no. 1, pp. 73-93
Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
Andrzej Grzegorczyk. Recursive objects in all finite types. Fundamenta Mathematicae, Tome 54 (1964) no. 1, pp. 73-93. doi: 10.4064/fm-54-1-73-93
@article{10_4064_fm_54_1_73_93,
author = {Andrzej Grzegorczyk},
title = {Recursive objects in all finite types},
journal = {Fundamenta Mathematicae},
pages = {73--93},
year = {1964},
volume = {54},
number = {1},
doi = {10.4064/fm-54-1-73-93},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-54-1-73-93/}
}
Cité par Sources :