List of mathematical logic topics

This is a list of mathematical logic topics.

For traditional syllogistic logic, see the list of topics in logic.

See also the list of computability and complexity topics for more theory of algorithms.