computer science math

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.