Principia mathematica to 56 / by Alfred North Whitehead and Bertrand Russell. Cambridge : Univ. Pr., 1976