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.
Propositional calculusGödel numberValuationPropositionLaw of identityUniversal quantifierArithmetical setClosed formulaValuation functionConstantAbsolute constantGödel numberingZero-order logicQuantifierConstant functionPrime formulaEquivalenceDegreePresburger arithmeticFormal logicMaximalConstant problemEigenvariableBoolean atomDefinitionContradictionLogical calculusLaw of excluded middleTruth functionAbsolute termElementary equivalenceExistential quantifierParamodulationTruth tablePrenexHerbrand's theoremTruthsetPrime constellationFormulaIdentityMathematical logicHerbrand universeVariableAlmost primeAleph numberArithmetical hierarchyLogicImplicantStructuralityAxiomatic systemIndeterminateGeneric propertyPolynomialTermLöb's theoremSchematic variableConnectiveClarithmeticKripke modelPolish notationIdentity functionPrinciple of explosionSequentBarcan formulaMathemeBoolean logicTernary logicCoefficientFundamental constantPrime factorPrimorialPeano arithmeticMonadic second-order logicMany-valued logicFree variableLambda termCardinal numberUnary operatorEquationCopeland-erdős constantNumeralPrimeBoolean algebraMonomeOnethPrimalityFixed pointProth primeSuperparticular numberAll-one polynomialEquisatisfiabilityAleph-oneMonomialExtensionalityCardinalityContextSuccedentConstructive logicKnownSymbolic language