Finiteness theorems in arithmetic: An application of Herbrand’s theorem for Σ2-formulas,” pp (1981)

by G Kreisel
Venue:39–55 in Logic Colloquium