Principia arithmetica, or, not proven /
Boyes, P.
Devon : A.H. Stockwell,
1991.