computer science math -- 2
Budget: $10 – $30 CAD
I need someone proficient in writing proofs and things like term calculations, complexity, Alternate Equational Proof, Dual of Specialization, Auxiliary Variable Metatheorem and Soundness and Completeness in Predicate Logic.