A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur M. A. E. DUMMETT |
Documents disponibles écrits par cet auteur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Formal systems and recursive functions / J. N. CROSSLEY (1965)
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 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5467 CRO/02/2638 Livre Recherche Salle Disponible