Existential graph
article-link
What links here
Begriffsschrift
Jean van Heijenoort
article-link
Impredicativity
article-link
Argumentation theory
article-link
Proof calculus
article-link
Problem of multiple generality
article-link
Calculus ratiocinator
article-link
List of publications in mathematics
article-link
Organon
article-link
1879 in science
article-link
Law of trichotomy
article-link
List of mathematical logic topics
article-link
George Boolos
article-link
Term logic
article-link
Square of opposition
article-link
Sense and reference
article-link
1879 in literature
article-link
Metamathematics
article-link
Analytic philosophy
article-link
Parse tree
article-link
Equality (mathematics)
article-link
History of logic
article-link
Rudolf Carnap
article-link
Classical logic
article-link
Gottlob Frege
article-link
Syllogism
article-link
Russell's paradox
article-link
1879
article-link
Peano axioms
article-link
Polish notation
article-link
Principia Mathematica
article-link
Timeline of programming languages
article-link
Mathematical logic
article-link
Modus ponens
article-link
Logical connective
article-link
Propositional logic
article-link
Formal language
article-link
Automated theorem proving
article-link