Permutabilities of inferences in gentzen’s calculi LK and LJ (1952)

by Stephen Kleene
Venue:Memoirs of the American Mathematical Society