- 555 p.
Cote : 00001626
décidabilité des théories et des ensembles de sentences # déduction # intuition # logique des propositions # logique des prédicats # logique déductive # logique mathématique # logique modale # mathématique intuitioniste # philosophie # table de vérité # épistémologie
03A05 ; 03B45 ; 03Bxx ; 03Cxx ; 03F55
Localisation : Collection 1er étage