List of mathematical logic topics: Wikis

Advertisements
  

Note: Many of our articles have direct quotes from sources you can cite, within the Wikipedia article! This article doesn't yet, but we're working on it! See more info or our list of citable articles.

Encyclopedia

From Wikipedia, the free encyclopedia

This is a list of mathematical logic topics, by Wikipedia page.

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.

Contents

Working foundations

Model theory

Set theory

Descriptive set theory

Large cardinals

Recursion theory

Proof theory

Mathematical constructivism

Modal logic

Theorem provers

Discovery systems

Historical

See also

Advertisements

Advertisements






Got something to say? Make a comment.
Your name
Your email address
Message