Geodesic
Categorie ricorsive.
Bollettino della Unione matematica italiana, Série 3, Tome 19 (1964) no. 3, pp. 300-305.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

@article{BUMI_1964_3_19_3_a6,
     author = {Cellucci, Carlo},
     title = {Categorie ricorsive.},
     journal = {Bollettino della Unione matematica italiana},
     pages = {300--305},
     publisher = {mathdoc},
     volume = {Ser. 3, 19},
     number = {3},
     year = {1964},
     zbl = {0149.00802},
     mrnumber = {171701},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_1964_3_19_3_a6/}
}
TY  - JOUR
AU  - Cellucci, Carlo
TI  - Categorie ricorsive.
JO  - Bollettino della Unione matematica italiana
PY  - 1964
SP  - 300
EP  - 305
VL  - 19
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BUMI_1964_3_19_3_a6/
LA  - it
ID  - BUMI_1964_3_19_3_a6
ER  - 
%0 Journal Article
%A Cellucci, Carlo
%T Categorie ricorsive.
%J Bollettino della Unione matematica italiana
%D 1964
%P 300-305
%V 19
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_1964_3_19_3_a6/
%G it
%F BUMI_1964_3_19_3_a6
Cellucci, Carlo. Categorie ricorsive.. Bollettino della Unione matematica italiana, Série 3, Tome 19 (1964) no. 3, pp. 300-305. http://geodesic.mathdoc.fr/item/BUMI_1964_3_19_3_a6/

[1] M. Davis Computable functionals of arbitrary finite type, Constructivity in mathematics, Amsterdam, 1959. pp.281-284. | MR | Zbl

[2] J. C E. Dekker - J. Myhill . Some theorems on classes of recursively enumerable sets, Transactions of the American Mathematical Society, Vol. 89 (1958). pp. 25-59 | Zbl

[3] S. Eilenberg - S. Maclane , General theory of natural équivalences, Transactions of the American Mathematical Society, Vol. 58 (1945), pp. 231-294. | Zbl

[4] S. C. Kleene , Introduction to metamathematics, Amsterdam 1952. | Zbl

[5] S. C. Kleene , Countable functionals, Constructivity in mathematics, Amsterdam 1959, pp. 81-100. | MR | Zbl

[6] S. C. Kleene , Recursive functionals and qaantifiers of finite types. T, Transactions of the American Mathematical Society, Vol. 91 (1959), pp. 1-52. | MR | Zbl

[7] G. Kreisel , Interpretation of analysis by means of constructive functionals of finite types. Constructivity in mathematics. Amsterdam 1959, pp. 101-128 | MR | Zbl

[8] A. G. Kurosch - A. Ch. Liwschitz - E. G Schulgeifer - M. S. Zalenko , Zur theorie der kategorien, Berlin 1963. | Zbl

[9] M. O. Rabin . Computable algebrair systems, Summaries Sumnmer Institute for Symbolic Logic (Cornell University 1957), Princeton 1960, pp. 134-138. | Zbl

[10] H. G. Rice . Classes of recursively enumerable sets and their décision problems, Transactions of the American Mathematical Society, Vol. 74 (1953), pp. 358-366. | MR | Zbl

[11] C. Spector , Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. Proceedings of symposia in pure mathematics, Vol. 5, Providence 1962, pp. 1-27. | MR | Zbl