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

by W Craig
Venue:Journal of Symbolic Logic