26 reputation
1
bio website
location
age
visits member for 2 years, 1 month
seen Oct 21 '12 at 5:35

Oct
21
awarded  Student
Oct
21
asked Proving that double negation elimination implies law of excluded middle, in Heyting algebra