Remarks on Herbrand normal forms and Herbrand realizations (1992)

by U Kohlenbach
Venue:Arch. Math. Logic