The following pages link to B. van Rootselaar (Q2538515):
Displaying 41 items.
- Some observations on intuitionistically elementary properties of linear orderings (Q582291) (← links)
- The inconsistency of higher order extensions of Martin-Löf's type theory (Q583201) (← links)
- (Q593643) (redirect page) (← links)
- Continuity of monotone functions (Q792477) (← links)
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017) (← links)
- Arithmetic transfinite induction and recursive well-orderings (Q1071019) (← links)
- Implication and analysis in classical Frege structures (Q1095139) (← links)
- A fragment of formalized analysis (Q1097881) (← links)
- On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis (Q1102283) (← links)
- Constructivism in mathematics. An introduction. Volume I (Q1188500) (← links)
- Constructivism in mathematics. An introduction. Volume II (Q1188522) (← links)
- A class of models for intermediate logics (Q2538516) (← links)
- An interpolation problem associated with the continuum hypothesis (Q2626594) (← links)
- Bolzano's theory of real numbers (Q2626789) (← links)
- (Q3230871) (← links)
- (Q3230872) (← links)
- (Q3240237) (← links)
- (Q3246273) (← links)
- (Q3273297) (← links)
- How to Solve the System x � = Ax (Q3684421) (← links)
- (Q3846374) (← links)
- (Q3849884) (← links)
- (Q4042891) (← links)
- ON BUNGE'S THEORY OF THINGS (Q4124798) (← links)
- (Q5337170) (← links)
- (Q5520628) (← links)
- (Q5534318) (← links)
- (Q5536260) (← links)
- (Q5546766) (← links)
- Back to “Back to the Laplace definition” (Q5548688) (← links)
- (Q5550457) (← links)
- (Q5577042) (← links)
- (Q5581583) (← links)
- (Q5586202) (← links)
- (Q5596779) (← links)
- (Q5604439) (← links)
- (Q5629477) (← links)
- (Q5726699) (← links)
- (Q5749254) (← links)
- (Q5813273) (← links)
- (Q5825645) (← links)
