Which list contains all four proofs named in the source?

Definition, Subject and Objective of Usul al-Fiqh