从内涵逻辑形式化建构论人工智能机的逻辑与数学基础

• From the Structural Establishment and Formalization of the Intensional Logic Talking about the Logical and Mathematical Base on the Artificial Intelligence Machine