The following pages link to On constructive mathematics (Q5633979):
Displaying 4 items.
- A mechanized proof of the basic perturbation lemma (Q928666) (← links)
- An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper (Q2070432) (← links)
- Über das Markov-Prinzip (Q4128796) (← links)
- Majorants for eigenvalues of Sturm-Liouville problems with potentials lying in balls of weighted spaces (Q4603915) (← links)
