机译:对数学逻辑结构的研究。七。集合论矛盾
机译:对数学逻辑结构的研究。十一。一种用于电子计算机的数学证明编程的方法
机译:对数学逻辑结构的研究。八。自然数论$ T_ {1} ,(N)$的一致性
机译:面包师:数学逻辑结构视觉识别的模块化框架
机译:在以学习原理为基础的基本数学中,确定层次结构,计算机控制课程中正确输入水平的选定程序的研究。
机译:聚合物基因递送结构 - 活性研究中数据的逻辑分析
机译:数学逻辑结构的调查(XIII):电子计算机数学证明的编程方法
机译:决策机数学系统的研究。 (逻辑结构,时间和自然数之间的关系)