A special case of the decision problem for theoretical logic (1932a)
Solomon Feferman, John W Dawson, Stephen Cole Kleene, Gregory Martin Moore, Robert M Solovay, Jean van HEIJENOORT · 2001
Abstract In connection with the method used to prove the completeness of the functional calculus (1930), one can develop a procedure that, for each formula with a normal form of the form permits us to decide whether it is satisfiable. First, one reduces the problem in a well known way to formulas of the form zuriick.