Permutation of inferences in Gentzen’s calculi LK and LJ (1951)

by Stephen C Kleene
Venue:In Two papers on the predicate calculus