艾伦·威尔
人员信息
优化列表
2010 – 2019
2016 [j3] 艾伦·威尔 :
非正式证明,形式证明,形式主义。 版本符号。 日志。 9 ( 1 ) : 23-43 ( 2016 )
2000 – 2009
2007 [第1页] 艾伦·威尔 :
重新考虑自然主义。 牛津数学和逻辑哲学手册 2007 : 460-482 2003 [注2] 艾伦·威尔 :
新摄政主义:财富的尴尬。 圣母院J.正式日志。 44 ( 1 ) : 13-48 ( 2003 )
1980 – 1989
1986 [j1] 艾伦·威尔 :
古典和谐。 圣母院J.正式日志。 27 ( 4 ) : 459-482 ( 1986 )