Finiteness theorems in arithmetic: an application of Herbrand’s theorem for Σ2formulas (1981)

by G Kreisel
Venue:North-Holland (Amsterdam