机译:Hourya Benis-Sinaceur,Marco Panza和Gabriel Sandu。逻辑的功能和普遍性:对德金和弗雷格的逻辑主义的反思
机译:弗雷格,德金德和逻辑主义的起源
机译:罗素和弗雷格论功能逻辑
机译:逻辑作为科学和逻辑作为理论:关于弗雷格,罗素和标志中心困境的评论
机译:从布尔的《逻辑的数学分析》到弗雷格的《乞eg史蒂夫特》,完成了现代逻辑的出现
机译:弗雷格的逻辑主义。
机译:RET支持的逻辑门组合库可实现智能逻辑功能的建模和实现
机译:戴德金和弗雷格的逻辑观