Nantilus
La logique propositionnelle et ses variantes : une approche comparée
Introduction à la métalogique du calcul proportionnel, cet ouvrage contient non seulement l'initiation aux concepts de base du domaine (syntaxe, sémantique, consistance, complétude, etc.), mais également des développements utiles (logiques intuitionniste et modale) et aussi des approches origin...
Saved in:
| Main Authors : | , |
|---|---|
| Format : | Book |
| Language : | français |
| Title statement : | La logique propositionnelle et ses variantes : une approche comparée / François Lepage et Samuel Montplaisir |
| Published : |
Montréal :
Les Presses de l'Université de Montréal
, DL 2022 |
| Physical Description : | 1 vol. (276 p.) |
| Series : | Paramètres (Montréal) |
| Subjects : | |
| Related Items : | Additional physical form:
La logique propositionnelle et ses variantes |
Loading