Concepts and aims of functional interpretations: towards a functional interpretation of constructive set theory
Wolfgang BurrVolume:
133
Pages:
18
Journal:
Synthese
DOI:
10.1023/a:1020844128690
Date:
October, 2002
File:
PDF, 132 KB
2002