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