Showing 50 items.

• Alan Turing (links | edit)
• Continuum hypothesis (links | edit)
• Definable real number (links | edit)
• Entscheidungsproblem (links | edit)
• Naive Set Theory (book) (links | edit)
• General recursive function (links | edit)
• Raven paradox (links | edit)
• Syllogism (links | edit)
• Alonzo Church (links | edit)
• Integer sequence (links | edit)
• Burali-Forti paradox (links | edit)
• Axiom schema of replacement (links | edit)
• Alfred Tarski (links | edit)
• Combinatory logic (links | edit)
• Goodstein's theorem (links | edit)
• Fixed-point combinator (links | edit)
• Kleene's recursion theorem (links | edit)
• Computability theory (links | edit)
• Analytic philosophy (links | edit)
• Freiling's axiom of symmetry (links | edit)
• Nicolas Bourbaki (links | edit)
• Relevance logic (links | edit)
• Tarski's circle-squaring problem (links | edit)
• Index of logic articles (links | edit)
• Temporal logic (links | edit)
• Horn clause (links | edit)
• Leon Henkin (links | edit)
• Emil Leon Post (links | edit)
• Many-one reduction (links | edit)
• Ruth Barcan Marcus (links | edit)
• Regular cardinal (links | edit)
• 1937 in science (links | edit)
• Axiom of dependent choice (links | edit)
• Hilbert's program (links | edit)
• Hans Freudenthal (links | edit)
• 1936 in science (links | edit)
• Game semantics (links | edit)
• Journal of Consciousness Studies (links | edit)
• Transfer principle (links | edit)
• List of statements independent of ZFC (links | edit)
• Löb's theorem (links | edit)
• Raphael M. Robinson (links | edit)
• Leopold Löwenheim (links | edit)
• Turing degree (links | edit)
• Moses Schönfinkel (links | edit)
• Intermediate logic (links | edit)
• Unfoldable cardinal (links | edit)
• Sahlqvist formula (links | edit)
• Structural proof theory (links | edit)
• New Foundations (links | edit)