Journal | Contributors | Profile
References
Giovanni Sambin
(2012)., Real and ideal in constructive mathematics, in P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, pp. 69-85.
(2008)., Two applications of dynamic constructivism: Brouwer's continuity principle and choice sequences in formal topology, in P. Boldini, M. Bourdeau & G. Heinzmann (eds.), One hundred years of intuitionism (1907–2007), Dordrecht, Springer, pp. 301-315.
(1987)., Intuitionistic formal spaces — a first communication, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 187-204.