Found 10 Documents (Results 1–10)
Brouwer and cardinalities. (English) Zbl 1406.03008
Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations. (English) Zbl 1437.03174
Surveyable sets. (English) Zbl 1437.03042
Filter Results by …
all
top 5
Author
- Coquand, Thierry (2)
- Awodey, Steve (1)
- Bezem, Marc (1)
- Blass, Andreas Raphael (1)
- Bridges, Douglas Suth (1)
- Buchholtz, Ulrik (1)
- de Jongh, Dick H. J. (1)
- Hart, Klaas Pieter (1)
- Ishihara, Hajime (1)
- Shirmohammadzadeh Maleki, Fatemeh (1)
- van Atten, Mark (1)
- von Plato, Jan (1)