Number
article-link
What links here
Principia Mathematica
Mathematical logic
article-link
Modus ponens
article-link
Logical positivism
article-link
Lambda calculus
article-link
Ludwig Wittgenstein
article-link
Law of noncontradiction
article-link
Law of excluded middle
article-link
Kurt Gödel
article-link
Henri Bergson
article-link
Georg Cantor
article-link
Functional programming
article-link
First-order logic
article-link
Cardinal number
article-link
Cardinality
article-link
Charles Sanders Peirce
article-link
Bertrand Russell
article-link
Automated theorem proving
article-link
Jules Richard (mathematician)
article-link
Equality (mathematics)
article-link
Contradiction
article-link
Alfred Tarski
article-link
History of logic
article-link
Gödel's incompleteness theorems
article-link
Rudolf Carnap
article-link
Natural deduction
article-link
Gottlob Frege
article-link
Philosophy of mathematics
article-link
Russell's paradox
article-link
Where Mathematics Comes From
article-link
Alfred North Whitehead
article-link
Haskell Curry
article-link
Type theory
article-link
Willard Van Orman Quine
article-link
Weimar culture
article-link
Scientific Revolution
article-link
Sheffer stroke
article-link
Set theory
article-link
Linguistic relativity
article-link
Referential transparency
article-link
Polish notation
article-link
Process philosophy
article-link
Ordered pair
article-link
Whitehead-Russell axioms
redirect