User:Karoshbn/Books/LOGIC II - Types of Logic - Mathematical Logic

Types of Logic - Mathematical Logic

 * Study of Logic
 * Informal logic
 * Mathematical logic
 * Logic


 * Types of Logic
 * Term logic
 * Propositional calculus
 * Predicate logic
 * Modal logic
 * Computational logic
 * Non-classical logic
 * Is logic empirical?
 * Paradoxes of material implication
 * Paraconsistent logic
 * Vector logic
 * Logic gate
 * Index of logic articles


 * Mathemetical Logic
 * Peano axioms
 * Mathematical induction
 * Structural induction
 * Recursive definition
 * Naive set theory
 * Element (mathematics)
 * Urelement
 * Singleton (mathematics)
 * Simple theorems in the algebra of sets
 * Algebra of sets
 * Power set
 * Empty set
 * Empty function
 * Universe (mathematics)
 * Axiomatic system
 * Axiom schema
 * Formal system
 * Mathematical proof
 * Direct proof
 * Reductio ad absurdum
 * Proof by exhaustion
 * Constructive proof
 * Tautology (logic)
 * Consistency
 * Arithmetization of analysis
 * Foundations of mathematics
 * Formal language
 * Principia Mathematica
 * Hilbert's program
 * Impredicativity
 * Definable real number
 * Algebraic logic
 * Boolean algebra
 * Dialectica space
 * Categorical logic