Modèle:Cori-Lascar I
Apparence
René Cori et Daniel Lascar, Logique mathématique I. Calcul propositionnel, algèbres de Boole, calcul des prédicats [détail des éditions]
Ceci est la documentation du modèle de source {{Cori-Lascar I}}.
Syntaxe
{{Cori-Lascar I}}
Rendu
René Cori et Daniel Lascar, Logique mathématique I. Calcul propositionnel, algèbres de Boole, calcul des prédicats [détail des éditions]
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.