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
Chargement en cours