理查德·维斯利
人员信息
优化列表
1990 – 1999
1998 【j4】 梅琳达·隆巴德 , 理查德·维斯利 :
经典和直觉平面几何的公共公理集。 Ann.纯应用。 日志。 95 ( 1-3 ) : 229-255 ( 1998 ) 1996 [j3] 理查德·维斯利 :
实现Brouwer的序列。 Ann.纯应用。 日志。 81 ( 1-3 ) : 25-74 ( 1996 )
1980 – 1989
1983 [注2] 安德烈·塞德洛夫 , 理查德·维斯利 :
马尔可夫原理的弱化。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 153-160 ( 1983 )
1960 – 1969
1963 [j1] 理查德·维斯利 :
关于加强直觉逻辑。 圣母院J.正式日志。 4 ( 1 ) : 80 ( 1963 )