User:Jshflynn/The Structure/Formal/Mathematics

Logic (Outline)

 * Mathematical logic
 * Set theory
 * Proof theory
 * Model theory
 * Recursion theory
 * Modal logic
 * Intuitionistic logic


 * Philosophical logic
 * Logical reasoning
 * Modal logic
 * Deontic logic
 * Doxastic logic


 * Logic in computer science
 * Programming language semantics
 * Formal methods (Formal verification)
 * Type theory
 * Logic programming
 * Multi-valued logic
 * Fuzzy logic