Modèle:Computability and λ-definability
(en) Alan Turing, « Computability and λ-definability », J. Symbolic Logic, vol. 2, , p. 153-163
Ceci est la documentation du modèle de source {{Computability and λ-definability}}.
Syntaxe
{{Computability and λ-definability}}
Rendu
(en) Alan Turing, « Computability and λ-definability », J. Symbolic Logic, vol. 2, , p. 153-163
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.