Modèle:Recursive predicates and quantifiers
Apparence
(en) Stephen Cole Kleene, « Recursive predicates and quantifiers », Trans. A.M.S., vol. 53, , p. 41-73
Ceci est la documentation du modèle de source {{Recursive predicates and quantifiers}}.
Syntaxe
{{Recursive predicates and quantifiers}}
Rendu
(en) Stephen Cole Kleene, « Recursive predicates and quantifiers », Trans. A.M.S., vol. 53, , p. 41-73
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.