Internal and foreing models for the impredicative theory of classes - Chauqui Rolando (Warsgawa Panstwowe Wydawni ct wo Naukowe, 1980)
Keywords: Higher algebra