Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory (1957)

by W Craig
Venue:Journal of Symbolic Logic