Linear reasoning. A new form of the Herbrand-Gentzen theorem (1957)

by W Craig
Venue:J. Symb. Log