SOME RELATIONS BETWEEN CLASSICAL AND CONSTRUCTIVE MATHEMATICS

被引：7

|

作者：

BEESON, M

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1978年 / 43卷 / 02期

关键词：

D O I：

10.2307/2272821

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：228 / 246

页数：19

相关论文

共 50 条

[41] Spreads and choice in constructive mathematics
Richman, F
[J]. INDAGATIONES MATHEMATICAE-NEW SERIES, 2002, 13 (02): : 259 - 267
[42] CONTINUITY AND NONDISCONTINUITY IN CONSTRUCTIVE MATHEMATICS
ISHIHARA, H
[J]. JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (04) : 1349 - 1354
[43] Combinatorial topology and constructive mathematics
Coquand, Thierry
[J]. INDAGATIONES MATHEMATICAE-NEW SERIES, 2018, 29 (06): : 1637 - 1648
[44] THE RIEMANN INTEGRAL IN CONSTRUCTIVE MATHEMATICS
SPRING, D
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1981, 83 (04) : 839 - 840
[45] CONSTRUCTIVE MATHEMATICS AS A PHILOSOPHICAL PROBLEM
LORENZEN, P
[J]. COMPOSITIO MATHEMATICA, 1968, 20 : 133 - &
[46] AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
Shulman, Michael
[J]. BULLETIN OF SYMBOLIC LOGIC, 2022, 28 (03) : 327 - 386
[47] Constructive mathematics and quantum physics
Bridges, D
Svozil, K
[J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2000, 39 (03) : 503 - 515
[48] 3 FORMALIZATIONS FOR CONSTRUCTIVE MATHEMATICS
LEVERSHA, G
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 135 - 136
[49] COMPLEMENTS OF INTERSECTIONS IN CONSTRUCTIVE MATHEMATICS
BRIDGES, DS
ISHIHARA, H
[J]. MATHEMATICAL LOGIC QUARTERLY, 1994, 40 (01) : 35 - 43
[50] Relations between constructive peculiarities and structural behavior in Venice buildings
Doglioni, F.
[J]. INFORMES DE LA CONSTRUCCION, 2012, 64 : 57 - 68

← 1 2 3 4 5 →