Invariance Under Isomorphism and Definability
Presenter
December 13, 2012
Keywords:
- Univalent
Abstract
Invariance Under Isomorphism and Definability