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