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...
Full description
Saved in:
Bibliographic Details
Main Authors : |
Lepage François
(Auteur),
Montplaisir Samuel
(Auteur) |
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
|