Linked from

The 24 pages that link to Mathematical logic, each with the reason it gives.

• Bertrand RussellRelated: Russell used symbolic logic to investigate mathematics’ foundations.

• CombinatoricsRelated: Its finite models and proof methods intersect with combinatorial questions.

• Andrey KolmogorovRelated: His work on intuitionistic logic and constructive mathematics extended beyond probability.

• Abstract algebraRelated: Its formal methods clarify how algebraic axioms define and constrain structures.

• DefinitionRelated: Logic clarifies how definitions support valid statements and inferences.

• MathematicsRelated: It makes the rules of mathematical deduction explicit and examinable.

• Lewis CarrollRelated: Carroll’s interest in logic informed his puzzles and his comic treatment of reasoning.

• Pure mathematicsRelated: It examines what mathematical statements mean and how they can be proved.

• Discrete mathematicsRelated: It examines the foundations and limits of the proofs used in discrete mathematics.

• Formal specificationRelated: Logical rules give specifications precise meanings and support proofs about them.

• Theoretical computer scienceRelated: Logic supplies languages and proof methods for reasoning about computation.

• Lwów–Warsaw schoolRelated: The school’s logicians helped make this a central field of research.

• Mathematical conceptsRelated: Logic formalizes how mathematical statements and proofs relate.