If you find any nodes you think should be in this category, message the maintainer (or an editor) with your suggestion.

Maintained By: user-970414

 TitlebyType
1 Advogato trust metric   e2node
2 Arrow's Impossibility Theorem   e2node
3 Bayesian   e2node
4 group theory   e2node
5 group theory (idea) alfimp writeup
6 intensional logic   e2node
7 Jini   e2node
8 Minkowski Space   e2node
9 morphism   e2node
10 predicate calculus (idea) Chris Hook writeup
11 Semantic Tableaux proof method for predicate logic   e2node