Login / Signup

Derived rules for predicative set theory: An application of sheaves.

Benno van den BergIeke Moerdijk
Published in: Ann. Pure Appl. Log. (2012)
Keyphrases