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...
Enregistré dans:
Auteurs principaux : | , |
---|---|
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 |
Chargement en cours