Polyá逻辑相关硕士博士期刊学术论文

讨论在科学研究中的发明创造思维的数学模型，对Ｐｏｌｙá提出的“论证推理模式”与“归纳推理模式”作形式化处理，在古典逻辑系统中引进模态......