Exercices de style: a homotopy theory for set theory

From MaRDI portal
Publication:891147