Title: Modern Algebra, a Logical Approach.