1987年,弗里德曼(Harvey Friedman)和希尔德(Michael Sheard)在经典逻辑的基础上考察了12条真原则,形成了9个极大相容组合。([3],第6页,Theore(本文共计16页).
基于1个网页-相关网页
... 肯尼斯·考利 Kenneth Colley 迈克尔·谢尔德 Michael Sheard 丹尼斯·劳森 Denis Lawson ...
michael sheard
迈克尔sheard
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动