From The Art and Popular Culture Encyclopedia
- List of mathematical logic topics
- List of computability and complexity topics
- List of set theory topics
- List of first-order theories
- Knowledge representation
- Logic symbols
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Mathematical logic" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.