机译:Simplex Sigillum Veri:Peano,Frege和Peirce在逻辑的基元上
Univ Bologna Bologna Italy;
Tallinn Univ Technol Tallinn Estonia;
Tallinn Univ Technol Tallinn Estonia;
机译:Simplex Sigillum Veri:Peano,Frege和Peirce在逻辑的基元上
机译:弗雷格定理和花生假说
机译:非经典逻辑中的替代Frege和扩展Frege证明系统
机译:从布尔的《逻辑的数学分析》到弗雷格的《乞eg史蒂夫特》,完成了现代逻辑的出现
机译:弗雷格的逻辑主义。
机译:INSM1启动子驱动的腺病毒单纯疱疹病毒胸苷激酶癌症基因治疗原发性神经外胚层肿瘤。
机译:Frege,Peano和逻辑和数学之间的相互作用