Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory (1957)

by W Craig
Venue:The Journal of Symbolic Logic