This are problems for Mathematical Foundation for Computer Science. small problems to be made, this problems are logic related Recursive Definition for Strings, and Proving the Basic Facts of Arithmetic… (Budget: $10 – $30 USD, Jobs: Algorithm, Computer Science, Mathematics)
