Universal Logic: A Survey of General Abstract Logic -- Abstract Model Theory as a