独立友好逻辑相关论文
亨迪卡的众多研究项目之一名为“人类思维的逻辑工具及其历史”,这实际上是对这位逻辑学大师一生工作的恰当总结.他开创了数理逻辑......
亨迪卡的众多研究项目之一名为“人类思维的逻辑工具及其历史”,这实际上是对这位逻辑学大师一生工作的恰当总结。他开创了数理逻......
