123070

References

Giovanni Sambin

Real and ideal in constructive mathematics

2012

in: Epistemology versus ontology, Dordrecht : Springer

Open Access Link
Two applications of dynamic constructivism: Brouwer's continuity principle and choice sequences in formal topology

2008

in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer

Open Access Link
Intuitionistic formal spaces — a first communication

1987

in: Mathematical logic and its applications, Dordrecht : Springer

Open Access Link