The Algebraic Foundations Of Mathematics by Beaumont and Pierce 1963