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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.