KnowraMathematical logicLinked fromLinked fromThe 24 pages that link to Mathematical logic, each with the reason it gives.All 24Broader topic 2Related 13Narrower topic 9David HilbertNarrower topic: Hilbert’s foundational projects became central to the development of this field.Formal verificationNarrower topic: It supplies the inference systems and semantic foundations used in verification.Principia MathematicaNarrower topic: The book became a major landmark in the development of this field.Proof theoryNarrower topic: Proof theory is one major branch within this broader discipline.Foundations of mathematicsNarrower topic: It provides the formal tools used to state and analyze foundational systems.TheoremNarrower topic: Its rules make explicit which steps can carry a proof from premises to conclusion.Giuseppe PeanoNarrower topic: Peano helped establish its modern symbolic vocabulary and methods.Symbolic logicNarrower topic: Symbolic logic supplies core languages and methods for this broader mathematical field.New FoundationsNarrower topic: New Foundations emerged from Quine's work in formal logic.