Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Fonctions primitives récursives"'
Autor:
Haralambous, Yannis
Publikováno v:
Quadrature
Quadrature, EDP Sciences, 2019, 113, pp.22--34
Quadrature, EDP Sciences, 2019, 113, pp.22--34
International audience; Nous proposons une découverte d'un domaine de la logique qui aura prochainement 100 ans : la logique combinatoire, dans le cadre des fonctions primitives récursives. Notre point de départ est le conte mathématique "Ne vous
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::24e652d06a01327f984285daaca3fa59
https://hal.archives-ouvertes.fr/hal-02009937
https://hal.archives-ouvertes.fr/hal-02009937
