popular
trending
lists
login
Mathematical logic
Algebraic logic
Algorithms
Automated theorem proving
Boolean algebra
Categorical logic
Computability theory
Constructivism (philosophy of mathematics)
Forcing (mathematics)
Formal languages
Formal systems
Formal theories of arithmetic
Independence results
Large-scale mathematical formalization projects
Logic in computer science
Logical calculi
Logical expressions
Logical positivism
Logical truth
Mathematical axioms
Mathematical logic hierarchies
Mathematical logic journals
Mathematical logic organizations
Mathematical logic stubs
Mathematical logicians
Modal logic
Model theory
Predicate logic
Proof theory
Quantifier (logic)
Recursion
Set theory
Substitution (logic)
Theorems in the foundations of mathematics
Type theory
Latest Activity
Latest Events
Paulien Cornelisse and Chris Bajema
Breakup - 30th Sep 2026
by missepticeye
Lil' Wayne and Madi Cannon
Engagement - 29th Sep 2026
by missepticeye
Paul 'Pauly D' DelVecchio and Nikki Hall (personality)
Engagement - 27th Sep 2026
by Redhot79
Nathan Osmond and Annalee Lundell
Engagement - 27th Sep 2026
by missepticeye
see more
Follow WDW on Facebook
