Essays in constructive mathematics

被引：0

作者：

Baylis, John ^{[1
]}

机构：

[1] Ysgol Steiner Nant Y Cwm, Llanycefn, Clunderwen SA66 7QJ, Wales

来源：

MATHEMATICAL GAZETTE | 2006年 / 90卷 / 519期

关键词：

D O I：

10.1017/S0025557200180842

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：570 / 572

页数：4

共 50 条

[1] CONSTRUCTIVE MATHEMATICS
CALDER, A
[J]. SCIENTIFIC AMERICAN, 1979, 241 (04) : 146 - &
[2] WHAT IS CONSTRUCTIVE MATHEMATICS
BRIDGES, D
MINES, R
[J]. MATHEMATICAL INTELLIGENCER, 1984, 6 (04): : 32 - 38
[3] FORMALISATION OF CONSTRUCTIVE MATHEMATICS
MAYOH, BH
[J]. JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (02) : 384 - &
[4] Science and constructive mathematics
Brown, JR
[J]. ANALYSIS, 2003, 63 (01) : 48 - 51
[5] CONSTRUCTIVE MATHEMATICS AND OBJECTS CONSTRUCTIVE IN PHI-(N)
DEMUTH, O
KUCERA, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (02) : 389 - 390
[6] Sequentially continuity in constructive mathematics
Ishihara, H
[J]. COMBINATORICS, COMPUTABILITY AND LOGIC, 2001, : 5 - 12
[7] DIMENSIONAL THEORY AND CONSTRUCTIVE MATHEMATICS
DRAGO, A
[J]. LETTERE AL NUOVO CIMENTO, 1983, 37 (11): : 409 - 412
[8] Questioning Constructive Reverse Mathematics
Loeb, Iris
[J]. CONSTRUCTIVIST FOUNDATIONS, 2012, 7 (02): : 131 - 140
[9] CARATHEODORYS THERMODYNAMICS AND CONSTRUCTIVE MATHEMATICS
DRAGO, A
[J]. LETTERE AL NUOVO CIMENTO, 1982, 34 (02): : 52 - 56
[10] Constructive mathematics without choice
Richman, F
[J]. REUNITING THE ANTIPODES - CONSTRUCTIVE AND NONSTANDARD VIEWS OF THE CONTINUUM, 2001, 306 : 199 - 205