1974 | ||
---|---|---|
2 | Warren D. Goldfarb, T. M. Scanlon: The omega-Consistency of Number Theory Via Herbrand's Theorem. J. Symb. Log. 39(4): 678-692 (1974) | |
1973 | ||
1 | T. M. Scanlon: The Consistency of Number Theory Via Herbrand's Theorem. J. Symb. Log. 38(1): 29-58 (1973) |
1 | Warren D. Goldfarb | [2] |