Science of axiomatically defined abstract structures, which are investigated by formal and logical notation.
Open Site - Encyclopedia Project
Open Site - Become an Editor
