Varieties of Constructive Mathematics
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Cambridge University Press

9780521318020, 9780511565663

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

INTUITIONISTIC LOGIC AND TOPOS THEORY

Varieties of Constructive Mathematics ◽

10.1017/cbo9780511565663.008 ◽

1987 ◽

pp. 131-145

Keyword(s):

Intuitionistic Logic ◽

Topos Theory

Download Full-text

Preface

Varieties of Constructive Mathematics ◽

10.1017/cbo9780511565663.001 ◽

1987 ◽

pp. v-viii

Download Full-text

RUSSIAN CONSTRUCTIVE MATHEMATICS

Varieties of Constructive Mathematics ◽

10.1017/cbo9780511565663.004 ◽

1987 ◽

pp. 49-74

Keyword(s):

Constructive Mathematics

Download Full-text

CONTRASTING VARIETIES

Varieties of Constructive Mathematics ◽

10.1017/cbo9780511565663.007 ◽

1987 ◽

pp. 120-130

Download Full-text

INTUITIONISM

Varieties of Constructive Mathematics ◽

10.1017/cbo9780511565663.006 ◽

1987 ◽

pp. 103-119

Download Full-text

CONSTRUCTIVE ALGEBRA

Varieties of Constructive Mathematics ◽

10.1017/cbo9780511565663.005 ◽

1987 ◽

pp. 75-102

Keyword(s):

Constructive Algebra

Download Full-text

CONSTRUCTIVE ANALYSIS

Varieties of Constructive Mathematics ◽

10.1017/cbo9780511565663.003 ◽

1987 ◽

pp. 18-48

Keyword(s):

Constructive Analysis

Download Full-text

THE FOUNDATIONS OF CONSTRUCTIVE MATHEMATICS

Varieties of Constructive Mathematics ◽

10.1017/cbo9780511565663.002 ◽

1987 ◽

pp. 1-17 ◽

Cited By ~ 2

Keyword(s):

Constructive Mathematics

Download Full-text