Titre :	Formal systems and recursive functions : proceeding of the eighth Logic Colloquium, Oxford, july 1963
Type de document :	texte imprimé
Auteurs :	J. N. CROSSLEY, Editeur scientifique ; M. A. E. DUMMETT, Editeur scientifique
Editeur :	Amsterdam : North-Holland Publishing Company
Année de publication :	1965
Collection :	Studies in logic and the foundations of mathematics, ISSN 0049-237X
Importance :	320 p.
Langues :	Anglais
Mots-clés :	système formel  fonction récursive

Formal systems and recursive functions : proceeding of the eighth Logic Colloquium, Oxford, july 1963 [texte imprimé] / J. N. CROSSLEY, Editeur scientifique ; M. A. E. DUMMETT, Editeur scientifique . - Amsterdam : North-Holland Publishing Company, 1965 . - 320 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais

Mots-clés :

système formel  fonction récursive