Yaroslav Akulov

less info
stack exchange network profile network profile
1 reputation
bio website
location
age
visits member for 9 months
seen Oct 28 '12 at 19:56
stats profile views 19

2 Actions

suggestions reviews revisions comments badges posts accepts all
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