Principia Mathematica
Consequences of the law of excluded middle in "Principia Mathematica".