Philosophy of Mathematics

*Describe Russell's type theory. In what respects does his system differ from predicate logic (first order logic)?
* According to Russell, what is a number? Show how Russell might define the idea that there are two things with property F.
*How did Russell define '=' in his logic? Why is this definition not available in set theory and number theory?