Mathematical logic
From The Art and Popular Culture Encyclopedia
(Redirected from Formal logic)
Related e |
Google
Featured: |
Mathematical logic (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.
[edit]
See also
- List of mathematical logic topics
- List of computability and complexity topics
- List of set theory topics
- List of first-order theories
- Knowledge representation
- Metalogic
- 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 original research by Jahsonic and friends. See Art and Popular Culture's copyright notice.