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.
DependencyFunctionLocal variableConditionalObjectDecidabilityCircular definitionPredicateApplyDeclarerMutator methodPropositional variableBooleanRecursionMaterial conditionalLogic programmingDefinitionSubtypeComputational logicEvaluationBoolCombinatory logicDefiniensFunctionalParameterResolventContent clauseLet expressionDiscrete systemVariantDeterminantSubjectDependent variableProper subsetDeterminismDeclaratorState variableProof calculusTransitivityType inferenceDoxastic logicNot operatorConnectiveLiteralCallableLogic puzzleStrict implicationTerm logicInclusive disjunctionMathematical logicAdverbial clauseComputability logicModelNot functionDenotationEndofunctionSemanticsAttributeExtensionExpressionEnumerationImpredicativityApplicandStructureMeaningSemi-decidabilityTernary logicTransition systemConnotationInitializationMajor termMinor termLinear searchSide effectMetalanguagePrecisionDivisibilityLogicNon-terminalLinear equationVariableScopeParallelizabilityPropositionDynamical systemMaterial logicMathematical modelKey-valueComputabilityPrimitiveReferenceSignalScientific programming languageAssignmentDeterminerModifierIndependent variableNegationDenominalFunctional requirement