The omega-Consistency of Number Theory Via Herbrand s Theorem

Warren D. Goldfarb, T. M. Scanlon. The omega-Consistency of Number Theory Via Herbrand s Theorem. Journal of Symbolic Logic, 39(4):678-692, 1974.

Possibly Related Publications

The following publications are possibly variants of this publication: