Principles of mathematics - Russell Bertrand (1950)
Appendices 501-528p
Keywords: Mathematical logic; Mathematics