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.
Context-free grammarContext-free languageCompactness theoremPropositional formulaInitial and terminal objectsLogical formSecond-order logicSkolem normal formFormulaContext-sensitive languageScopeClosure operatorSyntactic monoidFirst-order logicAxiomatic systemFormal systemStructureGrammarFirst-countable spaceSyntaxStructuralismDefinite descriptionSemigroupTransfer principleSet theoryRule of inferenceGrammatical constructionSubmanifoldClauseMathematical structureFormal languageSignatureConstituentQuantizationMonadic predicate calculusClassSatisfiabilityHomogeneous relationLogical connectiveSemisimple lie algebraSet-builder notationSecond-order arithmeticHierarchyCategory of setsRing homomorphismRefinement typeQueryGrammatical categoryPattern languageConstructible universeSecond-countable spaceIncidence algebraSemiringMorphismFormal concept analysisStrict conditionalOrderPartial functionHigher-order logicProof calculusSimplicial setClosed setMetavariableFunctionSubsetClosed categoryAlgebraic structureStructural type systemOrder topologyHypothetical syllogismComplete boolean algebraPerfect squareNon-standard model of arithmeticTruth valueDistinctive featureAnalytical hierarchyCompletenessLogical conjunctionCausal modelAlgebraic groupHermitian connectionModular latticeComparison of topologiesSimple homotopy theoryRecursive languageControlRepresentation theoremTransitive closureMathematical theoryMonoidExtensionChomsky normal formUnionLattice of subgroupsIdempotentFinite topological spaceFormal grammarCharacterizationGrothendieck topologyRegular grammar