Modèle:Recursive predicates and quantifiers

(en) Stephen Cole Kleene, « Recursive predicates and quantifiers », Trans. A.M.S., vol. 53,‎ 1943, p. 41-73

 Documentation de source[créer] [purger]

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,‎ 1943, 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.