Reputation
Top tag
Next privilege 50 Rep.
Comment everywhere
Badges
1
Newest
 Student
Impact
~503 people reached

  • 0 posts edited
  • 0 helpful flags
  • 0 votes cast
Oct
21
awarded  Student
Oct
21
asked Proving that double negation elimination implies law of excluded middle, in Heyting algebra