 Buridan, John [Jean] |  computability and complexity |  Curry’s paradox |  dialetheism |  epistemic paradoxes |  Fitch’s paradox of knowability |  game theory: epistemic foundations of |  Gödel, Kurt |  Gödel, Kurt: incompleteness theorems |  insolubles [= insolubilia] |  liar paradox |  logic: epistemic |  logic: many-valued |  logic: paraconsistent |  logic: provability |  mathematics, philosophy of |  mathematics: inconsistent |  paradoxes: and contemporary logic |  Quine, Willard van Orman: New Foundations |  Russell’s paradox |  set theory |  set theory: alternative axiomatic theories |  set theory: early development |  Tarski, Alfred: truth definitions |  truth |  truth: axiomatic theories of |  truth: deflationation about |  truth: revision theory of |  Turing, Alan |  Turing machines |  type theory 