User:Spencerhall01/Books/Mathematical Logic

The Foundations of Mathematics

 * Introduction
 * Foundations of mathematics
 * Metamathematics
 * Mathematical logic
 * List of mathematical logic topics


 * Set Theory
 * Set theory
 * List of set theory topics
 * Glossary of set theory


 * Category Theory
 * Category theory
 * Outline of category theory
 * Glossary of category theory


 * Recursion Theory
 * Computability theory
 * Theoretical computer science
 * Theory of computation
 * Computational complexity theory
 * Analysis of algorithms
 * List of computability and complexity topics


 * Metalogic
 * Logic
 * Metalogic
 * Model theory
 * Proof theory
 * Mathematical proof


 * Related Topics
 * Philosophy of mathematics
 * Definitions of mathematics
 * Language of mathematics
 * History of mathematics
 * List of mathematics history topics
 * Philosophy of language
 * Linguistics
 * Outline of logic