Back to Results
First PageMeta Content



Aspects of Predicative Algebraic Set Theory II: Realizability Benno van den Berg & Ieke Moerdijk June 20, 2008 Dedicated to Jean-Yves Girard on the occasion of his 60th birthday
Add to Reading List

Document Date: 2011-03-21 06:42:22


Open Document

File Size: 342,91 KB

Share Result on Facebook