Modèle:Lambda-Definability and Recursiveness
(en) Stephen Cole Kleene, « Lambda-Definability and Recursiveness », Duke Mathematical Journal, vol. 2, , p. 340-353.
Ceci est la documentation du modèle de source {{Lambda-Definability and Recursiveness}}.
Syntaxe
{{Lambda-Definability and Recursiveness}}
Rendu
(en) Stephen Cole Kleene, « Lambda-Definability and Recursiveness », Duke Mathematical Journal, vol. 2, , p. 340-353.
La documentation de ce modèle est générée par le modèle {{Documentation de source}}.
Les éditeurs peuvent travailler dans le bac à sable (créer) et la page de test (créer).
Voir les statistiques d'utilisation du modèle sur l'outil wstat.