The algebraic foundations of mathematics. - Beaumont, Ross A.