Foundations of the Formal Sciences I || Concepts and Aims of Functional Interpretations: Towards a Functional Interpretation of Constructive Set Theory
Wolfgang BurrVolume:
133
Language:
english
Journal:
Synthese
DOI:
10.2307/20117303
Date:
October, 2002
File:
PDF, 1.96 MB
english, 2002