Overview

Science of axiomatically defined abstract structures, which are investigated by formal and logical notation.