Science of axiomatically defined abstract structures, which are investigated by formal and logical notation.
All text is available under the terms of the GNU Free Documentation License. (See Copyright Policy for details.)