Lecture Notes in Mathematics - Constructive Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540108504, 9783540387596

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards a constructive foundation for quantum mechanics

Lecture Notes in Mathematics - Constructive Mathematics ◽

10.1007/bfb0090739 ◽

1981 ◽

pp. 260-273 ◽

Cited By ~ 5

Author(s):

Douglas S. Bridges

Keyword(s):

Quantum Mechanics

Download Full-text

Rational constructive analysis

Lecture Notes in Mathematics - Constructive Mathematics ◽

10.1007/bfb0090742 ◽

1981 ◽

pp. 321-347 ◽

Cited By ~ 1

Author(s):

J. R. Geiser

Keyword(s):

Constructive Analysis

Download Full-text

Consistency and independence results in intuitionistic set theory

Lecture Notes in Mathematics - Constructive Mathematics ◽

10.1007/bfb0090727 ◽

1981 ◽

pp. 54-86 ◽

Cited By ~ 2

Author(s):

Andrej Ščedrov

Keyword(s):

Set Theory ◽

Independence Results ◽

Intuitionistic Set Theory

Download Full-text

Reflections on Bishop's philosophy of mathematics

Lecture Notes in Mathematics - Constructive Mathematics ◽

10.1007/bfb0090732 ◽

1981 ◽

pp. 135-145

Author(s):

Nicolas D. Goodman

Keyword(s):

Philosophy Of Mathematics

Download Full-text

On some open problems in constructive probability theory

Lecture Notes in Mathematics - Constructive Mathematics ◽

10.1007/bfb0090726 ◽

1981 ◽

pp. 44-53 ◽

Cited By ~ 1

Author(s):

Y. K. Chan

Keyword(s):

Probability Theory ◽

Open Problems

Download Full-text

Independence of premisses and the free topos

Lecture Notes in Mathematics - Constructive Mathematics ◽

10.1007/bfb0090734 ◽

1981 ◽

pp. 191-207 ◽

Cited By ~ 1

Author(s):

J. Lambek ◽

P. J. Scott

Download Full-text

Liberal constructive set theory

Lecture Notes in Mathematics - Constructive Mathematics ◽

10.1007/bfb0090736 ◽

1981 ◽

pp. 213-240 ◽

Cited By ~ 1

Author(s):

Newcomb Creenleaf

Keyword(s):

Set Theory ◽

Constructive Set Theory

Download Full-text

A constructive approach to classical mathematics

Lecture Notes in Mathematics - Constructive Mathematics ◽

10.1007/bfb0090730 ◽

1981 ◽

pp. 105-110

Author(s):

Jonathan P. Seldin

Keyword(s):

Constructive Approach ◽

Classical Mathematics

Download Full-text

Seidenberg's condition P

Lecture Notes in Mathematics - Constructive Mathematics ◽

10.1007/bfb0090722 ◽

1981 ◽

pp. 1-11 ◽

Cited By ~ 3

Author(s):

Fred Richman

Download Full-text

Formalizing constructive mathematics: Why and how?

Lecture Notes in Mathematics - Constructive Mathematics ◽

10.1007/bfb0090733 ◽

1981 ◽

pp. 146-190 ◽

Cited By ~ 11

Author(s):

M. J. Beeson

Keyword(s):

Constructive Mathematics

Download Full-text

Lecture Notes in Mathematics - Constructive MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Towards a constructive foundation for quantum mechanics

Rational constructive analysis

Consistency and independence results in intuitionistic set theory

Reflections on Bishop's philosophy of mathematics

On some open problems in constructive probability theory

Independence of premisses and the free topos

Liberal constructive set theory

A constructive approach to classical mathematics

Seidenberg's condition P

Formalizing constructive mathematics: Why and how?

Lecture Notes in Mathematics - Constructive Mathematics
Latest Publications