プリンキピア・マテマティカ
Consequences of the law of excluded middle in "Principia Mathematica".