Journal | Contributors | Profile
References
Wolfgang Burr
(2002). Concepts and aims of functional interpretations: towards a functional interpretation of constructive set theory. Synthese, 133 (1-2), 257-274. https://doi.org/10.1023/A:1020844128690.