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...
Description complète
Enregistré dans:
Détails bibliographiques
Auteurs principaux : |
Lepage François
(Auteur),
Montplaisir Samuel
(Auteur) |
Format : |
Livre |
Langue : |
français |
Titre complet : |
La logique propositionnelle et ses variantes : une approche comparée / François Lepage et Samuel Montplaisir |
Publié : |
Montréal :
Les Presses de l'Université de Montréal
, DL 2022
|
Description matérielle : |
1 vol. (276 p.) |
Collection : |
Paramètres (Montréal)
|
Sujets : |
|
Documents associés : |
Autre format:
La logique propositionnelle et ses variantes
|