Only Two Letters: The Correspondence between Herbrand and Gödel (2005)

by W Sieg
Venue:Bulletin of Symbolic Logic