Login / Signup

The Consistency of Number Theory Via Herbrand's Theorem.

T. M. Scanlon
Published in: J. Symb. Log. (1973)
Keyphrases