 algebra |  category theory |  computability and complexity |  Curry’s paradox |  Gödel, Kurt |  lambda calculus, the |  logic, history of: intuitionistic logic |  logic: intuitionistic |  logic: linear |  logic: relevance |  logic: second-order and higher-order |  logic: substructural |  proof theory: development of |  Quine, Willard Van Orman |  reasoning: automated |  recursive functions |  Russell’s paradox |  type theory |  type theory: Church’s type theory 