EntityQ1056428· pop 26· linked from 967 articlestype theorySign in to savestudy of type systems in mathematical logic and computer scienceConnectionslogical disjunctionEntityformal systemEntitysemantics of logicEntityproof assistantEntitysemantic theory of truthEntitylogicEntityalgorithmEntitycompilerEntitymathematical logicEntityBoolean algebraEntitypropositional calculusEntitypropositionEntitylogical negationEntitylogical conjunctionEntityquantifierEntityfirst-order logicEntityPeano axiomsEntitytruth valueEntityrecursive setEntityconstructivismEntityCategoriesHierarchySystems of formal logicType theory