Pages that link to "Software:Metamath"
From HandWiki
The following pages link to Software:Metamath:
Displayed 21 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- 0.999... (← links)
- Glossary of Principia Mathematica (← links)
- Ordered pair (← links)
- Set theory (← links)
- Zorn's lemma (← links)
- Zermelo–Fraenkel set theory (← links)
- Automated theorem proving (← links)
- Tarski–Grothendieck set theory (← links)
- Proof assistant (← links)
- Propositional calculus (← links)
- Non-well-founded set theory (← links)
- First-order logic (← links)
- Friendship graph (← links)
- Mizar system (← links)
- QED manifesto (← links)
- Principia Mathematica (← links)
- Philosophy:Philosophy of logic (← links)
- Philosophy:Condensed detachment (← links)
- Biography:Raph Levien (← links)
- Organization:New Foundations (← links)
- Software:Isabelle (proof assistant) (← links)
