Title: An examination of a decision procedure
Subjects: Calculus, Symbolic and mathematical Logic, Statistical decision