BerechnungskomplexitätBeweistheorieBewijstheorieComplexiteitComplexité de calcul (Informatique)Computational complexityLinguistique mathématiqueMathematical linguisticsMathematische LinguistikModaliteitModality (Logic)ModalitätModalité (Logique)Preuve, Théorie de laProof theory