11 reputation
1
bio website
location
age
visits member for 1 year, 8 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