Results 251 to 258 of about 13,279 (258)
Some of the next articles are maybe not open access.
The intermediate value theorem in constructive mathematics without choice
Annals of Pure and Applied Logic, 2012exaly
Generalized functions with pseudobounded support in constructive mathematics
Journal of Complexity, 2006exaly
Foundational Theories of Classical and Constructive Mathematics
The Western Ontario Series in Philosophy of Science, 2011exaly