![](https://www.pdfsearch.io/img/977a3787856f7ec7e181628beb47742b.jpg) Date: 2011-11-16 08:30:32
| | Derived rules for predicative set theory: an application of sheaves Benno van den Berg & Ieke Moerdijk November 16, 2011 Abstract We show how one may establish proof-theoretic results for constructiveAdd to Reading ListSource URL: staff.fnwi.uva.nlDownload Document from Source Website File Size: 280,71 KBShare Document on Facebook
|