暂无分享,去创建一个
Harold Levine | H. Levine
[1] A. Seidenberg. A NEW DECISION METHOD FOR ELEMENTARY ALGEBRA , 1954 .