Pages that link to "Metamath"
← Metamath
The following pages link to Metamath:
Displaying 9 items.
- Automated theorem proving (← links | edit)
- First-order logic (← links | edit)
- Propositional calculus (← links | edit)
- Ordered pair (← links | edit)
- Principia Mathematica (← links | edit)
- Set theory (← links | edit)
- Zorn's lemma (← links | edit)
- Zermelo–Fraenkel set theory (← links | edit)
- Isabelle (proof assistant) (← links | edit)