![](https://www.pdfsearch.io/img/6a14fc7bd5ade7a1a41eb4665e79edef.jpg) Date: 2012-10-11 14:50:32
| | The Formulae-as-Classes Interpretation of Constructive Set Theory Michael RATHJEN∗ Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, England Department of Mathematics, Ohio State UniversityAdd to Reading ListSource URL: www1.maths.leeds.ac.ukDownload Document from Source Website File Size: 312,37 KBShare Document on Facebook
|