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

Ville d'édition : Berlin ; Göttingen ; Heidelberg

Pays d'édition : Allemagne RDA

Langue : Allemand

Collation : Bibliogr. ; Index ; xxiv#24 cm#rel.

Collection : Grundlehren der mathematischen wissenschaften in einzeldarstellungen

N° de collection : 0069

Localisation : Collection 1er étage

Type d'ouvrage : Monographie

Disponibilité : empruntable

Exemplaires