theory of computation and logic proofs -- 5 Job ID: 31154093 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