Vojtěch Kolman
The truth of proof: a Hegelian perspective on constructivism
2019
in: Constructive semantics, Dordrecht : Springer
Continuum, name and paradox
2010
Synthese 175/3
2019
in: Constructive semantics, Dordrecht : Springer
2010
Synthese 175/3