MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
RelationSecond-order logicEntity-relationship modelSecond normal formNormal formMonadic second-order logicThird normal formFirst normal formEntity-relationship diagramElementary equivalencePartial ordering relationFunctional dependencyEquijoinFourth normal formPropositional calculusCardinalityZero-order logicFifth normal formArmstrong's axiomsNatural keyKripke modelBinary relationPartial orderStructureLogical calculusStar schemaArithmetical hierarchyBoyce-codd normal formAbstract modelUniversal quantifierTotal ordering relationPreorderFunctionMany-sorted logicNatural joinLinear systemEquivalence relationParamodulationKripke frameFormal logicCartesian productOrderTrivial functional dependencySemijoinTruth tableLogicQuantifierPredicateTransitive closureArithmetical setPrewellorderingExistential quantifierMany-valued logicLinear logicValuationPart-whole modelTernary logicStrict orderingTruth treeTableauDegreeSocial graphPresburger arithmeticArithmetic hierarchyRight outer joinZero one infinity ruleHerbrand's theoremConnectiveExtensionValuation functionBoolean logicSequentDavis-putnam algorithmTermgraphCongruenceCorrespondenceArityLinear orderFuzzy mathematicsPartially ordered setUniverse of discourseMathematical logicComputability theoryPeano arithmeticSequent calculusExclusive orPropositional constantAdicityLogicismTruth functionCross joinStructuralityQuantum logicAbsolute formEquivalenceOrdered fieldOrdered setLattice theorySetoidImplicant