首页
Log in
Get started
Open main menu
国际语协会
同机构人员:
皮亚诺
符号逻辑的先驱和公理化方法的推行人 皮亚诺作为符号逻辑的先驱和公理化方法的推行人而著名。他的工作是独立于J.W.R.戴德金(Dedekind)而做出的。虽然戴德金也曾发表过一篇自然数方面的文章,观点与......
粤ICP备17091748号-1
剧本杀复盘
剧本杀复盘
红酒
ChatGPT