Cellucci: Categorie ricorsive.

Cellucci, Carlo:
Categorie ricorsive.
Bollettino dell'Unione Matematica Italiana Serie 3 19 (1964), fasc. n.3, p. 300-305, Zanichelli (Italian)
Sezione Scientifica
pdf (621 Kb), djvu (213 Kb). | MR 171701 | Zbl 0149.00802

Referenze Bibliografiche

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

[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 0083.00302

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

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

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

[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 102480 | Zbl 0088.01301

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

[8] A. G. KUROSCH - A. CH. LIWSCHITZ - E. G SCHULGEIFER - M. S. ZALENKO , Zur theorie der kategorien, Berlin 1963. | Zbl 0103.26601

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

[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 53041 | Zbl 0053.00301

[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 154801 | Zbl 0143.25502

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a zelati at unina dot it

logo MBAC Con il contributo del Ministero per i Beni e le Attività Culturali

bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI

Referenza completa

Referenze Bibliografiche