Finite investigations of in derivations (1975)

by G Mints
Venue:Reprinted in: Mints, G., \Selected Papers in Proof Theory", Studies in Proof Theory: Monographs 3, Bibliopolis