Back to Results
First PageMeta Content
Categorical logic / Theoretical computer science / Topos / William Lawvere / Mathematical constructivism / Sheaf / Mathematical logic / Alexander Grothendieck / Set theory / Mathematics / Category theory / Abstract algebra


Document Date: 2012-09-08 09:36:38

Open Document

Share Result on Facebook
UPDATE