Categorie ricorsive.
Bollettino dell'Unione Matematica Italiana (1964)
- Volume: 19, Issue: 3, page 300-305
- ISSN: 0392-4041
Access Full Article
topHow to cite
topCellucci, Carlo. "Categorie ricorsive.." Bollettino dell'Unione Matematica Italiana 19.3 (1964): 300-305. <http://eudml.org/doc/195982>.
@article{Cellucci1964,
author = {Cellucci, Carlo},
journal = {Bollettino dell'Unione Matematica Italiana},
keywords = {mathematical logic},
language = {ita},
month = {9},
number = {3},
pages = {300-305},
publisher = {Zanichelli},
title = {Categorie ricorsive.},
url = {http://eudml.org/doc/195982},
volume = {19},
year = {1964},
}
TY - JOUR
AU - Cellucci, Carlo
TI - Categorie ricorsive.
JO - Bollettino dell'Unione Matematica Italiana
DA - 1964/9//
PB - Zanichelli
VL - 19
IS - 3
SP - 300
EP - 305
LA - ita
KW - mathematical logic
UR - http://eudml.org/doc/195982
ER -
References
top- DAVIS, M.Computable functionals of arbitrary finite type, Constructivity in mathematics, Amsterdam, 1959. pp.281-284. Zbl0085.24803MR107604
- DEKKER, J. C E. - MYHILL, J.. Some theorems on classes of recursively enumerable sets, Transactions of the American Mathematical Society, Vol. 89 (1958). pp. 25-59 Zbl0083.00302
- EILENBERG, S. - MACLANE, S., General theory of natural équivalences, Transactions of the American Mathematical Society, Vol. 58 (1945), pp. 231-294. Zbl0061.09204
- KLEENE, S. C., Introduction to metamathematics, Amsterdam1952. Zbl0047.00703
- KLEENE, S. C., Countable functionals, Constructivity in mathematics, Amsterdam 1959, pp. 81-100. Zbl0100.24901MR112837
- KLEENE, S. C., Recursive functionals and qaantifiers of finite types. T, Transactions of the American Mathematical Society, Vol. 91 (1959), pp. 1-52. Zbl0088.01301MR102480
- KREISEL, G., Interpretation of analysis by means of constructive functionals of finite types. Constructivity in mathematics. Amsterdam 1959, pp. 101-128 Zbl0134.01001MR106838
- KUROSCH, A. G. - LIWSCHITZ, A. CH. - SCHULGEIFER, E. G - ZALENKO, M. S., Zur theorie der kategorien, Berlin1963. Zbl0103.26601
- RABIN, M. O.. Computable algebrair systems, Summaries Sumnmer Institute for Symbolic Logic (Cornell University 1957), Princeton1960, pp. 134-138. Zbl0173.01005
- RICE, H. G.. Classes of recursively enumerable sets and their décision problems, Transactions of the American Mathematical Society, Vol. 74 (1953), pp. 358-366. Zbl0053.00301MR53041
- SPECTOR, C., 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, Providence1962, pp. 1-27. Zbl0143.25502MR154801
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.