theory of computation and logic proofs Job ID: 31142825 Budget: $10 – $30 CAD i need someone proficient in theory of computation and logic proofs and metatheory Related categories: Matlab and Mathematica / Mathematics / Computer Science / Engineering Mathematics