机译:基本算术的全部功能
provably total functions; Basic Logic; Basic Arithmetic; realizability;
机译:基本算术的全部功能
机译:有界算术可证明的总搜索问题
机译:有界算术可证明的总搜索问题
机译:局部归纳法和可能的总可计算函数:一个案例研究
机译:用于中和反应中电滴定的光滑铂丝。或者,一种不涉及氢电极滴定的简单而快速的电学方法:1 *总酸度或总碱度; 2.生物碱
机译:算术和基本数值处理之间的神经联系取决于算术问题的大小而不是按时间顺序排列
机译:具有基本术语的算术的全部函数