Kleene, Stephen Cole  1909-1994 <br/><br/>
Two papers on the predicate calculus. 

 - Providence, R.I.:  American Mathematical Society,  1952. 
 - 68 p.: 
 - Menoirs of the American Mathematical Society;  no. 10. .
 - Memoirs of the American Mathematical Society;  no. 10. .
<br/><br/> Cover title. 
<br/><br/>Bibliography: p. 67-68. 
<br/><br/>Permutability of inferences in Gentzen's calculi žLžK and žLžJ.--Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Calculus.