A Constructive Version of Hilbert’s Basis Theorem (1973)

by J Tennenbaum