Permutability of inferences in Gentzen’s calculi LK and LJ (1952)

by S C Kleene
Venue:In Memoirs of the A.M.S