Review: P. S. Novikoff, On the Consistency of Certain Logical Calculus