CONSTRUCTIVE MATHEMATICS AND OBJECTS CONSTRUCTIVE IN PHI-(N)

被引：0

作者：

DEMUTH, O

KUCERA, A

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：389 / 390

页数：2

共 50 条

[1] CONSTRUCTIVE MATHEMATICS
CALDER, A
SCIENTIFIC AMERICAN, 1979, 241 (04) : 146 - &
[2] WHAT IS CONSTRUCTIVE MATHEMATICS
BRIDGES, D
MINES, R
MATHEMATICAL INTELLIGENCER, 1984, 6 (04): : 32 - 38
[3] FORMALISATION OF CONSTRUCTIVE MATHEMATICS
MAYOH, BH
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (02) : 384 - &
[4] Programming as constructive mathematics
Reeves, S.
Mathematical Structures for Software Engineering, 1991,
[5] Essays in constructive mathematics
Baylis, John
MATHEMATICAL GAZETTE, 2006, 90 (519): : 570 - 572
[6] Science and constructive mathematics
Brown, JR
ANALYSIS, 2003, 63 (01) : 48 - 51
[7] DIMENSIONAL THEORY AND CONSTRUCTIVE MATHEMATICS
DRAGO, A
LETTERE AL NUOVO CIMENTO, 1983, 37 (11): : 409 - 412
[8] Questioning Constructive Reverse Mathematics
Loeb, Iris
CONSTRUCTIVIST FOUNDATIONS, 2012, 7 (02): : 131 - 140
[9] Sequentially continuity in constructive mathematics
Ishihara, H
COMBINATORICS, COMPUTABILITY AND LOGIC, 2001, : 5 - 12
[10] CARATHEODORYS THERMODYNAMICS AND CONSTRUCTIVE MATHEMATICS
DRAGO, A
LETTERE AL NUOVO CIMENTO, 1982, 34 (02): : 52 - 56