EntityQ830486· pop 10· linked from 313 articlesopen formulaSign in to saveformula that contains at least one free variableConnectionsfirst-order logicEntitysemantic theory of truthEntityground expressionEntitymathematical logicEntityformal systemEntityrecursive setEntitywell-formed formulaEntitysemantics of logicEntitysentenceEntityfree and bound variablesEntitystructureEntitysatisfiabilityEntitydiagramEntitylogicEntityInternational Standard Book NumberEntitynatural numberEntityprime numberEntityset theoryEntityfunctionEntitysetEntityCategoriesLogical expressions