共 14 条
[1]
[Anonymous], 1996, MODERN LOGIC
[2]
[Anonymous], 1990, PHILOS MATH
[3]
Bishop E., 1967, Foundations of Constructive Analysis
[4]
Brouwer LEJ, 1924, P K AKAD WET-AMSTERD, V27, P186
[5]
Brouwer LEJ, 1924, P K AKAD WET-AMSTERD, V27, P631
[7]
KUSHNER BA, 1984, AMS TRANSLATIONS MAT, V60
[8]
MINES FR, 1988, COURSE CONSTRUCTIVE
[9]
Moore Gregory, 1982, Zermelo's Axiom of Choice
[10]
Ruitenburg Wim, 1991, CWI TRACT, V84, P107