Ordinal Numbers and the Hilbert Basis Theorem.” The (1988)

by Stephen G Simpson
Venue:Journal of Symbolic Logic