The Consistency of Number Theory Via Herbrand's Theorem. - T. M. Scanlon (J. Symb. Log., 1973)

The omega-Consistency of Number Theory Via Herbrand's Theorem. - Warren D. Goldfarb; T. M. Scanlon (J. Symb. Log., 1974)