Lecture Notes in Mathematics - Constructive Mathematics
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

4
(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

1981 ◽  
pp. 260-273 ◽  
Author(s):  
Douglas S. Bridges
Keyword(s):  
Quantum Mechanics

Rational constructive analysis

1981 ◽  
pp. 321-347 ◽  
Author(s):  
J. R. Geiser
Keyword(s):  
Constructive Analysis

Reflections on Bishop's philosophy of mathematics

1981 ◽  
pp. 135-145
Author(s):  
Nicolas D. Goodman
Keyword(s):  
Philosophy Of Mathematics

Independence of premisses and the free topos

1981 ◽  
pp. 191-207 ◽  
Author(s):  
J. Lambek ◽  
P. J. Scott

Liberal constructive set theory

1981 ◽  
pp. 213-240 ◽  
Author(s):  
Newcomb Creenleaf
Keyword(s):  
Set Theory ◽  
Constructive Set Theory

A constructive approach to classical mathematics

1981 ◽  
pp. 105-110
Author(s):  
Jonathan P. Seldin
Keyword(s):  
Constructive Approach ◽  
Classical Mathematics

Seidenberg's condition P

1981 ◽  
pp. 1-11 ◽  
Author(s):  
Fred Richman

Formalizing constructive mathematics: Why and how?

1981 ◽  
pp. 146-190 ◽  
Author(s):  
M. J. Beeson
Keyword(s):  
Constructive Mathematics
Load More ...
Sign in / Sign up

Export Citation Format

Share Document