EntityQ431411· pop 5· linked from 336 articlesground expressionSign in to savelogical expression whose terms do not contain any variablesConnectionsfirst-order logicEntitysemantic theory of truthEntitymathematical logicEntityformal languageEntityformal systemEntitypredicateEntityrecursive setEntitywell-formed formulaEntitysemantics of logicEntitysignatureEntitystructureEntitydiagramEntityHerbrand structureEntitylogicEntityInternational Standard Book NumberEntityset theoryEntityfunctionEntitysetEntityaxiomEntitytheoremEntityCategoriesLogical expressionsMathematical logic