2010年1月20日 单词问题、其他决策问题、与逻辑和自动机的联系(群体理论方面)[另请参见03B25号,05年3月,03D40号,06B25号,08A50号,2005年5月20日,70年第68季度] 2961