暂无分享,去创建一个
Fred Richman | F. Richman
[1] Jonathan Tennenbaum. A Constructive Version of Hilbert's Basis Theorem , 1973 .