11 reputation
1
bio website
location
age
visits member for 2 years, 2 months
seen Oct 28 '12 at 19:56

Oct
9
awarded  Teacher
Aug
20
answered Is the set of all definable subsets of the natural numbers recursively enumerable?
Aug
20
answered Converting a Proposition to DNF using proof systems