EntityQ1572108· pop 22· linked from 396 articlesnatural deductionSign in to savekind of proof calculusConnectionsintuitionistic type theoryEntityparametric polymorphismEntitysemantic theory of truthEntityaxiomEntitymathematical logicEntitycountable setEntityprinciple of excluded middleEntityfirst-order logicEntityformal grammarEntityformal systemEntityuniversal quantificationEntityexistential quantificationEntityrule of inferenceEntityrecursive setEntitysemantics of logicEntitystructureEntitydependent typeEntitycut-eliminationEntitynormal formEntitydiagramEntityCategoriesDeductive reasoningHarv and Sfn no-target errorsLogical calculiMethods of proofProof theory