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
Alaina Marie Scott and Matt Moeller
Child - 14th Apr 2026
by missepticeye
Lane Johnson and Kelsey Holmer
Marriage - 12th Apr 2026
by missepticeye
Jessie Cave and Alfie Brown (i)
Engagement - 12th Apr 2026
by missepticeye
Chase McWhorter and Hallie Batchelder
Hookup - 12th Apr 2026
by missepticeye
see more
Follow WDW on Facebook
