Journal | Authors
The truth of proof
2019
Vojtěch Kolman
in: Constructive semantics, Dordrecht : Springer
Continuum, name and paradox
2010
Synthese 175/3
