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

by William Craig
Venue:Journal of Symbolic Logic