Development of CAI systems of mathematical logic & intelligence

• 《数理逻辑》智能CAI系统的研制